civodul pushed a commit to branch master in repository guix. commit 54ca1a375bfee0ea1c19c5f82b1e63278b728354 Author: Ludovic Courtès <l...@gnu.org> 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 +@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