From: Christian Heller Date: Wed, 27 Oct 2021 18:50:31 +0000 (+0200) Subject: Add general PGP key updating script. X-Git-Url: https://plomlompom.com/repos/%7B%7B%20web_path%20%7D%7D/decks/%7B%7Bprefix%7D%7D/static/process?a=commitdiff_plain;h=160a695afdcabf91b7b325fc7b002bdd09bb3084;p=config Add general PGP key updating script. --- 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