Adjust keyservers settings in puphpet file configurations

keyservers.sh

#!/bin/bash

server1="keyserver.ubuntu.com"
server2="keyserver.debian.com"
server3="keys.gnupg.net"

function  replacehkp {
	sedserver=`echo $1 | awk -F '.' '{ print $1 "\\\." $2 "\\\." $3 }'`
	grep -ri "'$server" * | awk -F ':' '{ print $1 }' | xargs sed -i "s/'$sedserver/'hkp:\/\/$sedserver:80/g"
}

replacehkp $server1
replacehkp $server2
replacehkp $server3