diff options
| author | Vincent Legoll <vincent.legoll@gmail.com> | 2020-05-17 19:17:07 +0200 |
|---|---|---|
| committer | Guix Patches Tester <> | 2020-05-24 21:33:35 +0100 |
| commit | a21ab924c9439647dd966c849cb620d5949c88f3 (patch) | |
| tree | 5beb44e659491a9a06f0a126fcbe7ee0a790d276 | |
| parent | c50cfc6a7980b1f10e6ac759f964152ae397f986 (diff) | |
| download | patches-a21ab924c9439647dd966c849cb620d5949c88f3.tar patches-a21ab924c9439647dd966c849cb620d5949c88f3.tar.gz | |
guix-install.sh: Replace subshell-inducing command grouping.
* etc/guix-install.sh (chk_gpg_keyring): Replace () command grouping by {}.
| -rwxr-xr-x | etc/guix-install.sh | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/etc/guix-install.sh b/etc/guix-install.sh index 30f2780def..3b5a3ab0a8 100755 --- a/etc/guix-install.sh +++ b/etc/guix-install.sh @@ -109,11 +109,11 @@ chk_gpg_keyring() # Without --dry-run this command will create a ~/.gnupg owned by root on # 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 -" - exit 1 - ) + 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 -"; + exit 1; + } } chk_term() |