Paramétrer un serveur proxy

Pour paramétrer un serveur proxy dans Ubuntu :

Editer le fichier /etc/apt/apt.conf

Pour un proxy sans authentification

Acquire::http::Proxy "http://IP.DU.PROXY:PORT";

Pour un proxy avec authentification

Acquire::http::Proxy "http://user:passwd@IP.OU.NOM.DNS.DU.PROXY:PORT";

Pour paramétrer un serveur proxy provisoirement avant d'exécuter une commande :

Saisir dans une console

$ http_proxy="http://user:passwd@IP.OU.NOM.DNS.DU.PROXY:PORT" sudo apt-get update

Pour paramétrer un serveur proxy provisoirement si plusieurs commandes à exécuter :

Saisir dans une console

$ export http_proxy="http://user:passwd@IP.OU.NOM.DNS.DU.PROXY:PORT"
$ sudo apt-get update
$ sudo apt-get install mon_paquet...