summaryrefslogtreecommitdiff
path: root/etc/guix-install.sh
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2018-12-12 12:47:19 +0100
committerLudovic Courtès <ludo@gnu.org>2018-12-13 18:44:40 +0100
commit1fc90e89f01f6fc372ef9d58826a23d861df24a7 (patch)
treeef6b88c6dce208da41f82c06c74df5251b208af0 /etc/guix-install.sh
parentd870cc5e8acfed6fee318a66c3ffc7244aa376a1 (diff)
guix-install.sh: Use pool.sks-keyservers.net.
"pgp.mit.edu" has been unavailable for some time. * etc/guix-install.sh (chk_require): Change key server to pool.sks-keyservers.net.
Diffstat (limited to 'etc/guix-install.sh')
-rwxr-xr-xetc/guix-install.sh2
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
)
}