diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-12-20 18:39:04 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-12-20 18:39:04 +0100 |
| commit | 86974d8a9247cbeb938b5202f23ccca8d9ed627d (patch) | |
| tree | 7bd498ccf672aced617aa24a830ec4164268c03f /etc/guix-install.sh | |
| parent | 03a45a40227d97ccafeb49c4eb0fc7539f4d2127 (diff) | |
| parent | 9012d226fa46229a84e49a42c9b6d287105dfddf (diff) | |
| download | patches-86974d8a9247cbeb938b5202f23ccca8d9ed627d.tar patches-86974d8a9247cbeb938b5202f23ccca8d9ed627d.tar.gz | |
Merge branch 'master' into core-updates
Diffstat (limited to 'etc/guix-install.sh')
| -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 f0bfc932bd..8eb5214049 100755 --- a/etc/guix-install.sh +++ b/etc/guix-install.sh @@ -97,7 +97,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 pgp.mit.edu --recv-keys ${OPENPGP_SIGNING_KEY_ID}" + echo " gpg --keyserver pool.sks-keyservers.net --recv-keys ${OPENPGP_SIGNING_KEY_ID}" exit 1 ) } |