From: Christian Heller Date: Tue, 19 Oct 2021 20:26:33 +0000 (+0200) Subject: Replace PGP keyservers, openpgp stripped user ID. X-Git-Url: https://plomlompom.com/repos/%7B%7B%20web_path%20%7D%7D/static/%7B%7Bdb.prefix%7D%7D/%7B%7Bprefix%7D%7D/%7B%7Btodo.comment%7D%7D?a=commitdiff_plain;h=1debfcacb4f3279e70778db6502788e8bce000ab;p=config Replace PGP keyservers, openpgp stripped user ID. --- diff --git a/bullseye/setup_scripts/setup_play.sh b/bullseye/setup_scripts/setup_play.sh index 226f42e..c28bbd3 100755 --- a/bullseye/setup_scripts/setup_play.sh +++ b/bullseye/setup_scripts/setup_play.sh @@ -22,7 +22,7 @@ chown plom:plom /home/plom/.encrypt_target # TODO refactor with setup_website.sh # Add encryption key. -keyservers='sks-keyservers.net/ keys.gnupg.net keys.openpgp.org' +keyservers='keyserver.ubuntu.com pgp.surf.nl pgp.rediris.es' set +e while true; do do_break=0