4 if [ "$#" -ne 1 ]; then
5 echo "Need exactly one argument: public key ID."
9 keyservers='keyserver.ubuntu.com pgp.surf.nl pgp.rediris.es'
11 for keyserver in $(echo "${keyservers}"); do
12 gpg --no-tty --keyserver $keyserver --send-key "${gpg_key}"