From 1debfcacb4f3279e70778db6502788e8bce000ab Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Tue, 19 Oct 2021 22:26:33 +0200
Subject: [PATCH] Replace PGP keyservers, openpgp stripped user ID.

---
 bullseye/setup_scripts/setup_play.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
2.30.2