Ressources informatiques

Configurer la communication avec le proxy

Définir les variables d'environnement http_proxy et https_proxy

Paramétrer l'adresse IP du Proxy dans /etc/environment

Syntaxe

http_proxy="http://adresseIp:numeroPort/"
https_proxy="http://adresseIp:numeroPort/"
no_proxy=adresseIP1, adresseIP2, ....

• Les directives http_proxy et https_proxy permettent d’indiquer l’adresse IP et le numéro de port du serveur proxy
• La directive no_proxy permet de désactiver le passage par le serveur proxy pour les adresses locales

Exemple

• Adresse IP du serveur proxy : 192.168.1.2
• Numéro de port : 3128

Il faut modifier le fichier /etc/environment à l'aide de l'éditeur de votre choix : nano, ...

doe@debian:~$ su - root
Mot de passe : 
root@debian:~# nano /etc/environment
http_proxy="http://192.168.1.2:3128/"
https_proxy="http://192.168.1.2:3128/"
no_proxy=localhost,127.0.0.1,127.0.1.1,www.mydomain.lan,192.168.56.11

Validation

• Déconnectez-vous

doe@debian:~$ logout

• Reconnectez-vous : la commande env doit faire apparaître les variables d'environnement http_proxy, https_proxy et no_proxy :

doe@debian:~$ env | grep proxy
https_proxy=http://192.168.1.2:3128/
http_proxy=http://192.168.1.2:3128/
no_proxy=localhost,127.0.0.1,127.0.1.1,www.mydomain.lan,192.168.56.11