Como eu adiciono um repositório por trás de um proxy?

Question

Eu tenho um problema no escritório. Estamos atrás de um proxy (que é definido e aplicado em configurações de proxy do Ubuntu) e quando tento adicionar um repositório do terminal, recebo:

  

Erro ao ler --some url aqui--: erro urlopen [Errno 113] Nenhuma rota para hospedar

Eu tentei com

• Script Launchpad-getkeys. Eu entendo isso (imagem)

• Eu tentei com outro "hack", sem sorte

  1. Pressione Alt-F2 e digite gksu gedit /usr/lib/python2.6/dist-packages/softwareproperties/ppa.py
  2. Localize a linha 88, altere keyserver.ubuntu.com para hkp://keyserver.ubuntu.com:80
  3. Salve, feche e reinicialize.

Alguém sabe se eu poderia resolver este problema de alguma forma? Obrigado

    

Answer 1

Seu problema é descrito no seguinte relatório de erros , parece que a correção apropriada é descrita em commment # 11 :

1. Defina a variável https_proxy para seu proxy

2. Edite o /etc/sudoers ou o arquivo correto em /etc/sudoers.d/ para que ele contenha:

   Defaults env_keep = https_proxy
   

Answer 2

O script que você mencionou - launchpad-getkeys agora tem suporte a proxy.

    

Answer 3

Use a opção -HE de sudo :

sudo -HE apt-key [...]

Ele manterá suas configurações de proxy

    

Answer 4

Você precisa inserir a conta root e adicionar o repositório a partir dali:

sudo su
add-apt-repository ppa:xxxyyy/ppa