01/01: etc: Do not recommend use of SKS key servers.

[guix-commits]

rekado pushed a commit to branch master
in repository guix.

commit cea5db1b8454c02452bed8cbe6eb89ce37164fe8
Author: Ricardo Wurmus <address@hidden>
Date:   Mon Jul 1 23:31:24 2019 +0200

    etc: Do not recommend use of SKS key servers.
    
    * etc/guix-install.sh: Recommend downloading the GPG key from Savannah.
---
 etc/guix-install.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/guix-install.sh b/etc/guix-install.sh
index 604c683..aa95cb4 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
     )
 }