X-Git-Url: https://plomlompom.com/repos/foo.html?a=blobdiff_plain;f=update_key.sh;fp=update_key.sh;h=23b07ca526e3b558d5a4ff77880504d29666b749;hb=160a695afdcabf91b7b325fc7b002bdd09bb3084;hp=0000000000000000000000000000000000000000;hpb=bd4708e9b51d1ee9fe130791bcbd53688730b0b9;p=config
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