#!/bin/sh
set -e
-set -x
if [ "$#" -lt 1 ]; then
echo "Need public key ID and optionally old server IP."
# TODO refactor with setup_website.sh
# Add encryption key.
-keyservers='sks-keyservers.net/ keys.gnupg.net'
+keyservers='keyserver.ubuntu.com pgp.surf.nl pgp.rediris.es'
set +e
while true; do
do_break=0