Wie üblich hat sich wohl niemand darum gekümmert, alle Kommunikationseinstellungen für die in Linux / Ubuntu verwendeten Programme zu integrieren, was schade ist.
In 11.10 haben Sie systemweite Einstellungen an mehreren Stellen:
/ etc / environment
...
http_proxy="user:[email protected]:port
...
/etc/apt/apt.conf.d/02/proxy
Der Befehl apt
hat seine Einstellungen in dieser Datei:
Acquire::http::proxy "http:/user:[email protected]:port"
/ etc / wgetrc
Der Befehl wget
hat seine Einstellungen in dieser Datei im selben Format wie die /etc/environment
oben erwähnte Datei.
http_proxy="user:[email protected]:port
Vorausgesetzt, 12.04 hat dieselbe Dateikonfiguration wie 11.10 für diese drei Programme, können Sie diese Dateien für den Server bearbeiten.
Ich hatte eine Skriptdatei, um all diese Dinge in 11.10 zwischen meiner Arbeit und meinem Zuhause hin und her zu ändern, aber jetzt verwende ich dieses Skript nicht, bis ich mehr Details über die Funktionsweise von 12.04 mit diesen Problemen weiß.