Editez le fichier /etc/profile (gksudo gedit /etc/profile) et ajoutez la ligne :

export "http_proxy=http://proxy.monfai.com:3128"

ATTENTION : Veillez bien à ce que la syntaxe de la ligne précédente soit correcte (tapez la dans un terminal pour tester).

Remplacez proxy.monfai.com:3128 par l'adresse et le port du proxy que vous voulez utiliser.

Vous pouvez également utiliser la notation [http://]login:motdepasse@proxy.monfai.com:3128
si votre proxy réclame un mot de passe.