Ressources informatiques

Ressources informatiques

Ressources informatiques

Configurer 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

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

pi@rpi1:~ $ sudo nano /etc/environment
pi@rpi1:~ $ cat /etc/environment
http_proxy="http://192.168.1.2:3128/"
https_proxy="https://192.168.1.2:3128/"
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 :

pi@rpi1:~ $ env | grep proxy
https_proxy=https://192.168.1.2:3128/
http_proxy=http://192.168.1.2: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

pi@rpi1:~ $ 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 :

pi@rpi1:~ $ sudo visudo

Il faut alors insérer la ligne ci-dessous :

Defaults        env_keep = "http_proxy https_proxy"