Erro ao adicionar repositório ppa: keyserver.ubuntu.com: Host não encontrado [duplicado]

Question

Eu tive que reinstalar o Ubuntu hoje e apesar de ter configurado proxy para o Apt, ao tentar adicionar um novo PPA, a etapa que se comunica com keyserver.ubuntu.com falha:

$ sudo add-apt-repository ppa:webupd8team/sublime-text-3
 Sublime Text 3 Installer: the package in this PPA downloads and installs the latest Sublime Text 3 beta builds.

For more info, see: http://www.webupd8.org/2013/07/sublime-text-3-ubuntu-ppa-now-available.html
 More info: https://launchpad.net/~webupd8team/+archive/ubuntu/sublime-text-3
Press [ENTER] to continue or ctrl-c to cancel adding it

gpg: keyring '/tmp/tmp_wo9o6sl/secring.gpg' created
gpg: keyring '/tmp/tmp_wo9o6sl/pubring.gpg' created
gpg: requesting key EEA14886 from hkp server keyserver.ubuntu.com
?: keyserver.ubuntu.com: Host not found
gpgkeys: HTTP fetch error 7: couldn't connect: Success
gpg: no valid OpenPGP data found.
gpg: Total number processed: 0

Eu não tenho problemas para instalar o pacote via Apt, então, tanto quanto eu posso dizer, o proxy está configurado corretamente:

$ cat /etc/apt/apt.conf
Acquire::http::proxy "http://my-proxy:8080/";
Acquire::ftp::proxy "ftp://my-proxy:8080/";
Acquire::https::proxy "https://my-proxy:8080/";
Acquire::socks::proxy "socks://my-proxy:8080/";

$ env | grep proxy
http_proxy=http://my-proxy:8080/
ftp_proxy=ftp://my-proxy:8080/
https_proxy=http://my-proxy:8080/

Eu também posso me comunicar com o keyserver.ubuntu.com :

$ curl keyserver.ubuntu.com

<?xml version="1.0"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
    "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <title>SKS OpenPGP Public Key Server</title>
  </head>
  ...

Não me lembro de ter feito nada diferente no passado. Eu só tinha que configurar a variável de ambiente http/s_proxy , assim como configurar /etc/apt/apt.conf .

Alguma idéia do que estou sentindo falta aqui?

    

Answer 1

Duh! Para verificar se as configurações de proxy estão configuradas corretamente para sudo , entrei no modo interativo:

$ sudo -i
$ env | grep proxy
https_proxy=http://my-proxy:8080

Descobrimos que apenas https_proxy foi definido para root. Como eu tinha definido o proxy env vars em /etc/environment , isso foi um pouco estranho, já que sudo deveria ser a fonte /etc/environment .

Então me deparei com # 1301557 . 14.04.1 sendo uma versão LTS, é um pouco decepcionante que este bug não tenha sido corrigido, apesar de ter sido reportado em 2014-04-02.

Para corrigir esse problema, os http_proxy e https_proxy devem ser adicionados a env_keep in sudoers :

Defaults        env_keep +="http_proxy"
Defaults        env_keep +="https_proxy"

Isso resolveu o problema.