01/04: doc: Recommend pool.sks-keyservers.net.

[Ludovic Courtès]

civodul pushed a commit to branch master
in repository guix.

commit 54ca1a375bfee0ea1c19c5f82b1e63278b728354
Author: Ludovic Courtès <address@hidden>
Date:   Thu Nov 15 09:11:33 2018 +0100

    doc: Recommend pool.sks-keyservers.net.
    
    pgp.mit.edu appears to be unreliable these days.
    
    * doc/guix.texi (KEY-SERVER): New variable.
    (Binary Installation, USB Stick and DVD Installation): Use it in 'gpg
    --recv-keys' example.
---
 doc/guix.texi | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/doc/guix.texi b/doc/guix.texi
index 765261f..a9c6e97 100644
--- a/doc/guix.texi
+++ b/doc/guix.texi
@@ -11,6 +11,7 @@
 
 @c Identifier of the OpenPGP key used to sign tarballs and such.
 @set OPENPGP-SIGNING-KEY-ID 3CE464558A84FDC69DB40CFB090B11993D9AEBB5
address@hidden KEY-SERVER pool.sks-keyservers.net
 
 @copying
 Copyright @copyright{} 2012, 2013, 2014, 2015, 2016, 2017, 2018 Ludovic 
address@hidden
@@ -460,7 +461,8 @@ If that command fails because you do not have the required 
public key,
 then run this command to import it:
 
 @example
-$ gpg --keyserver pgp.mit.edu --recv-keys @value{OPENPGP-SIGNING-KEY-ID}
+$ gpg --keyserver @value{KEY-SERVER} \
+      --recv-keys @value{OPENPGP-SIGNING-KEY-ID}
 @end example
 
 @noindent
@@ -9045,7 +9047,8 @@ If that command fails because you do not have the 
required public key,
 then run this command to import it:
 
 @example
-$ gpg --keyserver pgp.mit.edu --recv-keys @value{OPENPGP-SIGNING-KEY-ID}
+$ gpg --keyserver @value{KEY-SERVER} \
+      --recv-keys @value{OPENPGP-SIGNING-KEY-ID}
 @end example
 
 @noindent