Eu tenho firewall corporativo que bloqueia a porta padrão para o apt-key. Então cada vez que eu adiciono o PPA, eu tenho que interromper o gpg (que trava) e receber chaves perdidas manualmente, configurando a porta 80. Eu criei o script que recupera as chaves perdidas para mim, mas esta solução ainda está longe do ideal.
$ cat /usr/local/sbin/get-keys
apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --keyserver-options http-proxy=$http_proxy --recv-keys $@
Eu gostaria de configurar o apt-key para usar a porta 80 por padrão, sem ter que importar chaves perdidas manualmente.