Wenn man mit einem Ubuntu hinter einem Proxy sitzt, hat man pech gehabt. Leider kocht jeder Dienst seine eigene Suppe und es gibt keine wirklichen globalen Proxy Einstellungen. Es gibt in den Systemeinstellungen unter Netzwerk eine entsprechende Einstellung, die schon viel hilft. Dort kann man Benutzername, Passwort (bei Bedarf) und den Proxy eintragen.

Es gibt allerdings Dienste, die diese globalen Einstellungen nicht nutzen. Die folgende Auflistung soll helfen die verschiedenen Fallstricke zu umgehen.

• allen voran: sudo setzt alle Systemvariablen zurück, als auch die Proxy-Variablen in der Shell. Deswegen unter /etc/sudoers den Eintrag Defaults !env_reset eintragen (oder nur das ! ergänzen)
• die Paketverwaltung Apt-Get:
  • die Datei /etc/apt/apt.conf bekommt einträge nach folgendem Muster
  • Acquire::http::proxy "http://benutzername:passwort@proxy:port/";
Acquire::http::proxy "http://benutzername:passwort@proxy:port/";
•  Docker:
  • die Datei /etc/default/docker bekommt einträge nach folgendem Muster
  • export http_proxy="http://benutzername:passwort@proxy:port";
export http_proxy="http://benutzername:passwort@proxy:port";