Jak dodać repozytorium zza serwera proxy?

Mam problem w biurze. Jesteśmy za serwerem proxy (który jest ustawiony i stosowany przy ustawieniach proxy ubuntu), a kiedy próbuję dodać repozytorium z terminala, otrzymuję:

Błąd odczytu - tutaj jest adres URL: błąd urlopu [Errno 113] Brak trasy do hosta

Próbowałem z

• Skrypt Launchpad-getkeys. Rozumiem (zdjęcie)

• Próbowałem z kolejnym „hackiem”, bez powodzenia

  1. Naciśnij klawisze Alt-F2 i wpisz gksu gedit /usr/lib/python2.6/dist-packages/softwareproperties/ppa.py
  2. Znajdź linię 88, zmień keyserver.ubuntu.comnahkp://keyserver.ubuntu.com:80
  3. Zapisz, zamknij i uruchom ponownie.

Czy ktoś wie, czy mógłbym w jakikolwiek sposób rozwiązać ten problem? Dzięki

Twój problem został opisany w poniższym raporcie o błędzie. Wygląda na to, że poprawka opisana jest w punkcie nr 11 :

1. Ustaw zmienną https_proxyna swoje proxy

2. Edytuj /etc/sudoerslub popraw plik, /etc/sudoers.d/aby zawierał:

   Defaults env_keep = https_proxy
   

Skrypt, o którym wspomniałeś - launchpad-getkeys obsługuje teraz proxy.

Skorzystaj z -HEopcji sudo:

sudo -HE apt-key [...]

Zachowa twoje ustawienia proxy

Musisz wprowadzić konto root i stamtąd dodać repozytorium:

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