Ceci est une ancienne révision du document !
Configurer l'accès à travers un serveur proxy à partir du terminal
Qu'est-ce qu'un serveur proxy ?
Fichiers de configuration à modifier
Adaptez le protocole à votre situation : pour un proxy ftp, modifiez les "http" en "ftp".
pour modifier un fichier : comment_editer_un_fichier
Pour annuler une modification, vous pouvez commentez (en rajoutant un # en premier caractère ) ou supprimer les lignes qui ont été ajoutées.
Environnement global
Le fichier /etc/profile est lu au démarrage du système.
Modifiez le fichier /etc/profile
ajouter cette ligne à la fin du fichier:
export http_proxy=http://"proxy_ip":"port_number"
où "proxy_ip" et "port_number" seront adaptés à votre situation
Environnement bash
Le fichier /etc/bash.bashrc est lu au démarrage de votre terminal.
Modifiez le fichier /etc/bash.bashrc
Puis ajoutez à la fin du fichier
export http_proxy=http://"proxy_ip":"port_number"
où "proxy_ip" et "port_number" seront adaptés à votre situation
Wget
wget permet à différents scripts de télécharger des données.
modifier le fichier /etc/wgetrc
recherchez et décommentez les lignes (enlevez les # en début de lignes)
#http_proxy = http://proxy.yoyodyne.com:18023/ #use_proxy = on
en remplaçant les paramètres du proxy.
Apt
apt est le programme qui télécharge et installe les mises à jour.
Créer un fichier /etc/apt/apt.conf.d/proxyPerso.conf
ajoutez la ligne suivante
Acquire::http::proxy "http://adresse:port/";
en remplaçant adresse par l'adresse du proxy, et port par le port.