I have corporate firewall which blocks default port for apt-key. So each time I add PPA, I have to interrupt gpg (which hangs) and receive missed keys manually setting port 80. I created script which retrieves missed keys for me, but this solution is still far from ideal.

$ cat /usr/local/sbin/get-keys 
apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --keyserver-options http-proxy=$http_proxy --recv-keys $@

I'd like to set up apt-key to use port 80 by default, without having to import missing keys manually.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.