X-Git-Url: https://plomlompom.com/repos/?a=blobdiff_plain;f=bullseye%2Fsetup_scripts%2Fsetup_play.sh;h=a29b2f6fb53bf2aa9c68ccb0395992313f391fcf;hb=6d175935a089531db01d980eb5432f02a3a402e0;hp=226f42e10ae8f5ae24896f676cba4209806a2b67;hpb=421b784b6d43275891b09b6e1b56a39547ef346f;p=config

diff --git a/bullseye/setup_scripts/setup_play.sh b/bullseye/setup_scripts/setup_play.sh
index 226f42e..a29b2f6 100755
--- a/bullseye/setup_scripts/setup_play.sh
+++ b/bullseye/setup_scripts/setup_play.sh
@@ -1,6 +1,5 @@
 #!/bin/sh
 set -e
-set -x
 
 if [ "$#" -lt 1 ]; then
   echo "Need public key ID and optionally old server IP."
@@ -22,7 +21,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