plomlompom.com Git - config/blob - update_key.sh

   1 #!/bin/sh
   2 set -e
   3
   4 if [ "$#" -ne 1 ]; then
   5   echo "Need exactly one argument: public key ID."
   6   false
   7 fi
   8 gpg_key="$1"
   9 keyservers='keyserver.ubuntu.com pgp.surf.nl pgp.rediris.es'
  10 set +e
  11 for keyserver in $(echo "${keyservers}"); do
  12     gpg --no-tty --keyserver $keyserver --send-key "${gpg_key}"
  13 done
  14 set -e