我的公司防火墙阻止了 apt-key 的默认端口。因此，每次添加 PPA 时，我都必须中断 gpg（挂起）并手动设置端口 80 接收丢失的密钥。我创建了为我检索丢失的密钥的脚本，但此解决方案仍然远非理想。
$ cat /usr/local/sbin/get-keys
apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --keyserver-options http-proxy=$http_proxy --recv-keys $@
我想将 apt-key 设置为默认使用端口 80，而无需手动导入丢失的密钥。