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… zefzef zefzefe
zsef zefz zefzefzef zef
Désactiver le proxy
Ponctuellement
Pour désactiver le proxy http ou https pendant la session de travail :
$ unset http_proxy $ unset https_proxy ou $ export http_proxy='' $ export https_proxy='' vérifier avec $ printenv ou $ printenv https_proxy
Durablement
suivre la procédure inverse des chapitres précedents expliquant la modification des fichiers, en supprimant les lignes en question
Sources
http://www.linuxtent.com/?p=105Lien brisé…