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
- 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, ...
pi@rpi1:~ $ sudo nano /etc/environment
- Résultat de la modification :
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"