Um einen Proxy im System bekannt zu machen, reicht folgender Befehl:
export http_proxy="http://Server:Port"
Die Einstellung wird allerdings nach einem Neustart vergessen.
Um den Proxy dauerhaft einzutragen, geht man folgendermaßen vor:
vi ~/.bashrc
Den Proxy eintragen:
export http_proxy="http://Server:Port"
Und die bashrc sourcen:
source ~/.bashrc