diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-07-13 04:51:16 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-07-13 04:55:46 +0200 |
| commit | ffae5a7946912ffd69dd4b608576cf2d75931fb2 (patch) | |
| tree | 09842fd7b85d12790d6a9d49ea4b61cb09f7584a /scripts | |
| parent | 2516ba81bef1f1ed6847a9611740b6ab30fb5582 (diff) | |
| download | patches-ffae5a7946912ffd69dd4b608576cf2d75931fb2.tar patches-ffae5a7946912ffd69dd4b608576cf2d75931fb2.tar.gz | |
doc: Update gpg key fetching instructions.
This mirrors the steps performed by etc/guix-install.sh.
* doc/guix.texi (KEY-SERVER): Replace moribund SKS key servers with...
(OPENPGP-SIGNING-KEY-URL): ...the TLS PKI of the future.
(Binary Installation, USB Stick and DVD Installation): Update the
@example gpg command to download the key directly from Savannah.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions