将 Ubuntu 从 16.04 更新到 17.04 后，我无法添加任何 PPA。例如，添加此 ppa 时，我收到以下错误：
sudo add-apt-repository ppa:texlive-backports/ppa
Backports of the latest TeX Live from Ubuntu 12.10 to Ubuntu 12.04 LTS
More info: https://launchpad.net/~texlive-
backports/+archive/ubuntu/ppa
Press [ENTER] to continue or ctrl-c to cancel adding it
gpg: keybox '/tmp/tmp702ddoyv/pubring.gpg' created
gpg: keyserver receive failed: End of file
Failed to add key.
我位于代理服务器后面。我尝试在 ~/.gnupg 目录下的 dirmngr.conf 中添加代理，如下所示：
#honor-http-proxy
http-proxy <PROXY>
看起来 dirmngr.conf 没有得到尊重 http 代理。
当我提供带有 http-proxy=value 的密钥服务器选项时，我可以使用 apt-key 命令手动添加密钥。
在 16.04 中一切都运行良好。有人能解释一下为什么会发生这种情况吗？