Gerne würde ich den Proxy permanent setzen, aber das bekomme ich nicht hin:
Ich gehe nach ofizieller Anleitung vor und habe /etc/apt/apt.conf schon auf versch. Weisen erstellt:
das ist seltsam, weil apt eigentlich nicht die http_proxy-Variablen benutzt (dachte ich). Für apt muss man die 70debconf-Datei editieren, für wget die wgetrc. Wie das mit dem Systemweiten Proxy des Network-Manager ist, habe ich nicht probiert.
Das was Du schreibst, trage ich eigentlich immer in /etc/environment ein, die Ausnahmen in /etc/profile (z.B. für den Server usw.)