diff options
author | Marius Bakke <mbakke@fastmail.com> | 2019-07-02 20:14:23 +0200 |
---|---|---|
committer | Marius Bakke <mbakke@fastmail.com> | 2019-07-02 20:14:23 +0200 |
commit | 30484be05d9e318e89e12f40a55c65766cec700a (patch) | |
tree | aeae7e586fd5d790fd51728912a9c76a1cd0ddb1 /etc | |
parent | b8d41cfc875b1a6c438ac138fdce9caa579b8486 (diff) | |
parent | 2e03bbeb7be35faa1cb5b41c119d378d221266f3 (diff) | |
download | guix-patches-30484be05d9e318e89e12f40a55c65766cec700a.tar guix-patches-30484be05d9e318e89e12f40a55c65766cec700a.tar.gz |
Merge branch 'master' into staging
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 604c683202..aa95cb4e20 100755 --- a/etc/guix-install.sh +++ b/etc/guix-install.sh @@ -104,7 +104,7 @@ chk_require() gpg --list-keys ${OPENPGP_SIGNING_KEY_ID} >/dev/null 2>&1 || ( _err "${ERR}Missing OpenPGP public key. Fetch it with this command:" - echo " gpg --keyserver pool.sks-keyservers.net --recv-keys ${OPENPGP_SIGNING_KEY_ID}" + echo " wget https://sv.gnu.org/people/viewgpg.php?user_id=15145 -qO - | gpg --import -" exit 1 ) } |