diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-11-15 09:11:33 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-11-16 23:02:18 +0100 |
| commit | 54ca1a375bfee0ea1c19c5f82b1e63278b728354 (patch) | |
| tree | ed5a139c6a4046caa877a7670e63ce905011dbf5 /doc/guix.texi | |
| parent | a7b7d48cc70cee61b0212b531461430cd4c099ad (diff) | |
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.
Diffstat (limited to 'doc/guix.texi')
| -rw-r--r-- | doc/guix.texi | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/guix.texi b/doc/guix.texi index 765261fc66..a9c6e975a7 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 |