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

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 :

Defina a variável https_proxycomo seu proxy
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