From 160a695afdcabf91b7b325fc7b002bdd09bb3084 Mon Sep 17 00:00:00 2001
From: Christian Heller <c.heller@plomlompom.de>
Date: Wed, 27 Oct 2021 20:50:31 +0200
Subject: [PATCH] Add general PGP key updating script.

---
 update_key.sh | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100755 update_key.sh

diff --git a/update_key.sh b/update_key.sh
new file mode 100755
index 0000000..23b07ca
--- /dev/null
+++ b/update_key.sh
@@ -0,0 +1,14 @@
+#!/bin/sh
+set -e
+
+if [ "$#" -ne 1 ]; then
+  echo "Need exactly one argument: public key ID."
+  false
+fi
+gpg_key="$1"
+keyservers='keyserver.ubuntu.com pgp.surf.nl pgp.rediris.es'
+set +e
+for keyserver in $(echo "${keyservers}"); do
+    gpg --no-tty --keyserver $keyserver --send-key "${gpg_key}"
+done
+set -e
-- 
2.30.2