![通过其配置将 GPG 配置为使用系统代理和端口 80](https://linux22.com/image/997269/%E9%80%9A%E8%BF%87%E5%85%B6%E9%85%8D%E7%BD%AE%E5%B0%86%20GPG%20%E9%85%8D%E7%BD%AE%E4%B8%BA%E4%BD%BF%E7%94%A8%E7%B3%BB%E7%BB%9F%E4%BB%A3%E7%90%86%E5%92%8C%E7%AB%AF%E5%8F%A3%2080.png)
我正在努力改进这个答案。正如您所猜测的,add-apt-repository
通过代理无法工作,并且接受的答案对我来说不起作用。我试过了:
设置和保存局部变量
export http_proxy=http://proxy:port export https_proxy=$http_proxy sudo -E
什么也不做
- 编辑
/etc/environment
有相同效果 - 编辑 sudoers 文件具有相同的效果,除了图形应用程序无法访问 mir
上述答案有所帮助,但不能解决问题,因为add-apt-repository
不能简单地修改为每次都使用代理和密钥服务器端口 80。潜伏了更长时间后,我发现真正的问题是 gpg 配置,它的文档记录很差。我只是不明白如何设置http-proxy
选项或honor-system-proxy
永久设置。
尝试设置honor-http-proxy
我写的~/.gnupg/dirmng.conf
具有此类内容的选项,但没有帮助:
honor-http-proxy
另外,我以前在 Ubuntu 8.04 - 16.04 中没有遇到过这样的问题。是的,问题可能不在代理配置中,而是在密钥服务器端口中。如果是这样,我想将密钥服务器设置为默认使用端口 80。
欢迎任何想法。