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.
This commit is contained in:
parent
a7b7d48cc7
commit
54ca1a375b
|
@ -11,6 +11,7 @@
|
|||
|
||||
@c Identifier of the OpenPGP key used to sign tarballs and such.
|
||||
@set OPENPGP-SIGNING-KEY-ID 3CE464558A84FDC69DB40CFB090B11993D9AEBB5
|
||||
@set KEY-SERVER pool.sks-keyservers.net
|
||||
|
||||
@copying
|
||||
Copyright @copyright{} 2012, 2013, 2014, 2015, 2016, 2017, 2018 Ludovic Courtès@*
|
||||
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue