После обновления 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.
Я за прокси-сервером. Я попытался добавить прокси в dirmngr.conf в директорию ~ / .gnupg следующим образом:
#honor-http-proxy
http-proxy <PROXY>
Кажется, что dirmngr.conf не получает почтение прокси-сервера http.
Я могу вручную добавить ключ с помощью команды apt-key, когда я предоставляю опции keyerver с параметром http-proxy =.
Все работает отлично в 16.04. Может кто-то пролить свет на то, почему это может произойти?