Configure o GPG para usar o proxy do sistema e a porta 80 através de sua configuração

Question

Estou tentando melhorar esta resposta . Como você pode imaginar, add-apt-repository não funciona por meio de proxy e a resposta aceita não funciona para mim. Eu tentei:

• Definindo e preservando variáveis locais

  export http_proxy=http://proxy:port
  export https_proxy=$http_proxy
  sudo -E
  

  que não faz nada

• editar /etc/environment tem o mesmo efeito
• editar o arquivo dos sudoers tem o mesmo efeito além dos aplicativos gráficos não podem acessar o mir

A resposta mencionada ajuda, mas não corrige o problema, porque add-apt-repository não pode ser simplesmente modificado para usar sempre a porta 80 do proxy e do servidor de chaves. Espreitando mais, descobri que o problema real é a configuração gpg, que está mal documentada. Eu simplesmente não sabia como definir a opção http-proxy ou honor-system-proxy permanentemente.

Tentando definir a opção honor-http-proxy , escrevi ~/.gnupg/dirmng.conf com esse conteúdo, mas não ajudou:

honor-http-proxy

Além disso, eu não tive esse problema antes, no Ubuntu 8.04 - 16.04. Sim, o problema pode não estar na configuração do proxy, mas na porta do servidor de chaves. Se assim for, gostaria de definir o servidor de chaves para usar a porta 80 por padrão.

Todas as ideias são bem-vindas.