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="https://adresseIp:numeroPort/"

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

• Résultat de la modification :

root@debian:~# cat /etc/environment
http_proxy="http://192.168.1.2:3128/"
https_proxy="https://192.168.1.2:3128/"

Validation

• Déconnectez-vous

doe@debian:~$ logout

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

doe@debian:~$ env | grep proxy
https_proxy=https://192.168.1.2:3128/
http_proxy=http://192.168.1.2:3128/