diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-07-01 23:31:24 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-07-01 23:32:08 +0200 |
| commit | cea5db1b8454c02452bed8cbe6eb89ce37164fe8 (patch) | |
| tree | a5629ada7667d6b34e3e9dad044c6a3f78be863f /etc/guix-install.sh | |
| parent | 78c88baad56ae2843d809a8160631a7bae071315 (diff) | |
| download | guix-cea5db1b8454c02452bed8cbe6eb89ce37164fe8.tar guix-cea5db1b8454c02452bed8cbe6eb89ce37164fe8.tar.gz | |
etc: Do not recommend use of SKS key servers.
* etc/guix-install.sh: Recommend downloading the GPG key from Savannah.
Diffstat (limited to 'etc/guix-install.sh')
| -rwxr-xr-x | etc/guix-install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/guix-install.sh b/etc/guix-install.sh index 604c683202..aa95cb4e20 100755 --- a/etc/guix-install.sh +++ b/etc/guix-install.sh @@ -104,7 +104,7 @@ chk_require() gpg --list-keys ${OPENPGP_SIGNING_KEY_ID} >/dev/null 2>&1 || ( _err "${ERR}Missing OpenPGP public key. Fetch it with this command:" - echo " gpg --keyserver pool.sks-keyservers.net --recv-keys ${OPENPGP_SIGNING_KEY_ID}" + echo " wget https://sv.gnu.org/people/viewgpg.php?user_id=15145 -qO - | gpg --import -" exit 1 ) } |