home · contact · privacy
Upgrade Firefox version.
[config] / 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