etc: Do not recommend use of SKS key servers.

* etc/guix-install.sh: Recommend downloading the GPG key from Savannah.
master
Ricardo Wurmus 2019-07-01 23:31:24 +02:00
parent 78c88baad5
commit cea5db1b84
No known key found for this signature in database
GPG Key ID: 197A5888235FACAC
1 changed files with 1 additions and 1 deletions

View File

@ -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
)
}