diff options
| author | Vincent Legoll <vincent.legoll@gmail.com> | 2020-05-17 19:17:08 +0200 |
|---|---|---|
| committer | Guix Patches Tester <> | 2020-05-24 21:33:36 +0100 |
| commit | 483041b424825013ec989d153b062494bc0a49bc (patch) | |
| tree | af11f77c7b09d3ee8bcf2cebee8ba5649503b769 | |
| parent | a21ab924c9439647dd966c849cb620d5949c88f3 (diff) | |
| download | patches-483041b424825013ec989d153b062494bc0a49bc.tar patches-483041b424825013ec989d153b062494bc0a49bc.tar.gz | |
guix-install.sh: Use a variable for GPG key URL.
* etc/guix-install.sh (OPENPGP_SIGNING_KEY_URL): Add new variable.
(chk_gpg_keyring): Use it here.
| -rwxr-xr-x | etc/guix-install.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/guix-install.sh b/etc/guix-install.sh index 3b5a3ab0a8..8d3075609e 100755 --- a/etc/guix-install.sh +++ b/etc/guix-install.sh @@ -58,6 +58,7 @@ INF="[ INFO ] " DEBUG=0 GNU_URL="https://ftp.gnu.org/gnu/guix/" OPENPGP_SIGNING_KEY_ID="3CE464558A84FDC69DB40CFB090B11993D9AEBB5" +OPENPGP_SIGNING_KEY_URL="https://sv.gnu.org/people/viewgpg.php?user_id=15145" # This script needs to know where root's home directory is. However, we # cannot simply use the HOME environment variable, since there is no guarantee @@ -111,7 +112,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 ${OPENPGP_SIGNING_KEY_URL} -qO - | gpg --import -"; exit 1; } } |