Ubuntu Linux hinter einer Firewall: Repositories hinzufügen

OMG Ubuntu beschreibt hier, wie man in Ubuntu Repositories hinzufügen kann, auch wenn man hinter einer Firewall sitzt.

Hier die deutsche Übersetzung:

  1. Drücke Alt-F2 und tippe „gksu gedit /usr/lib/python2.6/dist-packages/softwareproperties/ppa.py“
  2. Finde Zeile 88 und ändere „keyserver.ubuntu.com“ nach „hkp://keyserver.ubuntu.com:80
  3. Speichere die Datei und schließe gedit.

Jetzt läuft apt-add-repository über Port 80 – der  ist nicht geblockt, sonst könnte man nicht im Internet surfen.