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

14

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

Erro ao ler --algum URL aqui--: erro do urlopen [Erro 113] Nenhuma rota para hospedar

Eu tentei com

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

insira a descrição da imagem aqui

  • 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.comparahkp://keyserver.ubuntu.com:80
    3. Salve, feche e reinicie.

Alguém sabe se eu poderia resolver esse problema de alguma forma? obrigado

Enrique
fonte

Respostas:

13

Seu problema está descrito neste relatório de bug a seguir . Parece que a correção adequada está descrita no comentário nº 11 :

  1. Defina a variável https_proxycomo seu proxy
  2. Edite /etc/sudoersou o arquivo correto /etc/sudoers.d/para que ele contenha:

    Defaults env_keep = https_proxy
    
João Pinto
fonte
João, adicionei variáveis ​​ao /home/myuser/.bashrc, adicionei o material env_keep ao / etc / sudoers e agora, quando executo esse comando "sudo env | grep proxy", mostro as variáveis. Quando adiciono um repositório ou executo o script launchpad-getkeys, não recebo mais erros. OBRIGADO!!
Enrique
1

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

Alin Andrei
fonte
Embora eu tenha resolvido a questão com o / etc / sudoers, também li as notícias do launchpad-getkeys no feed rss e agora com -p ip: port, esse é um recurso incrível! obrigado Alin !!
Enrique
1

Use a -HEopção de sudo:

sudo -HE apt-key [...]

Manterá suas configurações de proxy

user4780495
fonte
0

Você precisa entrar na conta raiz e adicionar o repositório a partir daí:

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