Ressources informatiques

Ressources informatiques

Ressources informatiques

Configurer le proxy

Définir les variables d'environnement http_proxy, https_proxy et no_proxy

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

Syntaxe
http_proxy="http://adresseIp:numeroPort/"
https_proxy="https://adresseIp:numeroPort/"
no_proxy= <liste d'adresses IP ou nom FQDN séparés par une virgule>
Exemple

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

x@clientX:~$  sudo nano /etc/environment
x@clientX:~$  cat /etc/environment
http_proxy="http://192.168.56.101:3128/"
https_proxy="http://192.168.56.101:3128/"
no_proxy=localhost,127.0.0.1,127.0.1.1,www.x.lan,192.168.56.101
Validation

Après s'être déconnecté, puis reconnecté, la commande env doit faire apparaître les variables d'environnement http_proxy et https_proxy :

x@clientX:~$  env | grep proxy
no_proxy=localhost,127.0.0.1,127.0.1.1,www.x.lan,192.168.56.101
https_proxy=http://192.168.56.101:3128/
http_proxy=http://192.168.56.101:3128/

Conserver la valeur des variables d'environnement http_proxy et https_proxy lors du lancement d'une commande à l'aide de la commande sudo

La commande sudo est souvent configurée de telle sorte que toutes les variables d'environnement sont effacées lors de l'exécution de la commande. Pour conserver la valeur de http_proxy et https_proxy lors de l'exécution de la commande, il est nécessaire de modifier le fichier /etc/sudoers :

Sauvegarder le fichier d'origine

x@clientX:~$  sudo cp /etc/sudoers /etc/sudoers.origin

Modifier le fichier /etc/sudoers

Il n'est pas possible de modifier ce fichier directement, il est nécessaire d'utiliser la commande visudo :

x@clientX:~$  sudo visudo

Il faut alors insérer la ligne ci-dessous sous les autres lignes commençant par Defaults :

Defaults        env_keep = "http_proxy https_proxy"