Lorsque vous vous retrouvez coincé dans un réseau local et que la seule porte de sortie vers la toile se trouve être un proxy pour le web et éventuellement pour le transfert de fichiers, il est aisé de configurer son navigateur pour en tenir compte.
Par contre, en ligne de commande il peut être nécessaire de pouvoir configurer le proxy pour certains outils, je pense à apt-get par exemple.
Pour l'outil apt-get il est possible de configurer le proxy dans /etc/apt/apt.conf en ajoutant la ligne suivante:
Acquire::http::Proxy "http://adresse.serveur.web:port";
remarque: si ce fichier n'existe pas il faut le créer!
Cela résout le problème pour apt, mais quand est-il lorsque nous avons besoin du web ou du ftp en ligne de commande de manière générale?
Et bien il existe deux variables d'environnement http_proxy et ftp_proxy qui vous permettent de le faire en les exportant comme ci dessous (si vous êtes en shell bash).
Pour le protocole http:
user$ export http_proxy="adresse.serveur.web:port"
Pour le transfert de fichier avec le protocole ftp:
user$ export ftp_proxy="adresse.serveur.web:port"
Vous pourriez en avoir besoin de façon permanente, dans ce cas il vous suffit de mettre ces commandes dans votre fichier de configuration de shell (.bashrc pour le shell bash).