From: Christian Heller <c.heller@plomlompom.de>
Date: Sat, 9 Oct 2021 18:30:09 +0000 (+0200)
Subject: Extend PGP key server choices.
X-Git-Url: https://plomlompom.com/repos/%7B%7Bprefix%7D%7D/static/%7B%7B%20web_path%20%7D%7D/decks/feed.xml?a=commitdiff_plain;h=421b784b6d43275891b09b6e1b56a39547ef346f;p=config

Extend PGP key server choices.
---

diff --git a/bullseye/setup_scripts/setup_play.sh b/bullseye/setup_scripts/setup_play.sh
index 48f11ba..226f42e 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'
+keyservers='sks-keyservers.net/ keys.gnupg.net keys.openpgp.org'
 set +e
 while true; do
     do_break=0