Replace PGP keyservers, openpgp stripped user ID.

[config] / bullseye / setup_scripts / setup_play.sh

diff --git a/bullseye/setup_scripts/setup_play.sh b/bullseye/setup_scripts/setup_play.sh
index 48f11baab15805dfb41ca6eadf29e2c3aa8ab8f4..c28bbd3c5c70d08d7e4bed0bda1468b0ef2dbd23 100755 (executable)
--- 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'
+keyservers='keyserver.ubuntu.com pgp.surf.nl pgp.rediris.es'
 set +e
 while true; do
     do_break=0