diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-07-15 21:22:01 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2020-07-16 20:12:07 +0200 |
| commit | 4089d7920fc5f27fefdde6b0fec17f3224e62377 (patch) | |
| tree | e81c1b1e52cc7d88bed73b3497b7aac8bce3e476 | |
| parent | 7fc2ba2a2cfb6568a2067e62c966fe35a7ed9bde (diff) | |
| download | guix-4089d7920fc5f27fefdde6b0fec17f3224e62377.tar.gz guix-4089d7920fc5f27fefdde6b0fec17f3224e62377.zip | |
guix-install.sh: Suggest running gpg as root.
The original example regularly prevented new users from installing Guix
at all.
* etc/guix-install.scm (chk_gpg_keyring): Suggest ‘sudo -i gpg’.
| -rwxr-xr-x | etc/guix-install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/guix-install.sh b/etc/guix-install.sh index 54bd813efd..efcc3d81d8 100755 --- a/etc/guix-install.sh +++ b/etc/guix-install.sh @@ -111,7 +111,7 @@ chk_gpg_keyring() # systems where gpg has never been used, causing errors and confusion. gpg --dry-run --list-keys ${OPENPGP_SIGNING_KEY_ID} >/dev/null 2>&1 || ( _err "${ERR}Missing OpenPGP public key. Fetch it with this command:" - echo " wget https://sv.gnu.org/people/viewgpg.php?user_id=15145 -qO - | gpg --import -" + echo " wget https://sv.gnu.org/people/viewgpg.php?user_id=15145 -qO - | sudo -i gpg --import -" exit 1 ) } |