通过其配置将 GPG 配置为使用系统代理和端口 80

Question

我正在努力改进这个答案。正如您所猜测的，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。

欢迎任何想法。