diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2020-09-09 08:59:00 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2020-09-09 09:28:12 +0200 |
| commit | ea0da48681e40acfa3cffca05b0f5f30df1d9348 (patch) | |
| tree | 7d8f3b10dfd638230c0d4d352c8d1847fbc38099 /etc | |
| parent | 8c944c4c4fd6cfe059fd75d1ac5081f414baadfe (diff) | |
| download | guix-ea0da48681e40acfa3cffca05b0f5f30df1d9348.tar guix-ea0da48681e40acfa3cffca05b0f5f30df1d9348.tar.gz | |
guix-install.sh: Quote the OpenPGP key URL.
Without quotes, zsh fails with "no matches found" as it tries to
interpret the question mark.
* etc/guix-install.sh (chk_gpg_keyring): Enclose URL in single quotes.
Diffstat (limited to 'etc')
| -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 72dc3839e8..aa77d42615 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 - | sudo -i gpg --import -" + echo " wget 'https://sv.gnu.org/people/viewgpg.php?user_id=15145' -qO - | sudo -i gpg --import -" exit 1 ) } |