Depois de atualizar o Ubuntu de 16.04 a 17.04, não consigo adicionar nenhum PPA. Por exemplo, adicionando esse ppa eu recebo o seguinte erro:
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.
Estou por trás de um servidor proxy. Eu tentei adicionar o proxy em dirmngr.conf no diretório ~ / .gnupg da seguinte forma:
#honor-http-proxy
http-proxy <PROXY>
Parece que o dirmngr.conf não está recebendo o proxy http.
Eu posso adicionar manualmente uma chave com o comando apt-key quando eu der as opções do servidor de chaves com http-proxy = value.
Tudo costumava funcionar bem em 16.04. Alguém pode por favor lançar alguma luz sobre por que isso poderia estar acontecendo?