Définir un serveur proxy pour les requêtes http du système (Debian)
Vous avez peut être déjà été confronté à ce problème: vous êtes dans un endroit où l’accès au web est filtré par un serveur proxy. Vous avez réussi à configurer votre navigateur pour utiliser ce serveur, mais le reste du système qui utilise le protocole http reste isolé (mises à jour, installation de nouveaux paquets, etc…)
Pour éviter cela il faut définir un serveur proxy au niveau du système. Heureusement c’est très simple, il faut utiliser la commande:
export http_proxy="http://adresse_du_proxy:port"
Vous pouvez à présent faire vos mises à jour, installer de nouveaux paquets etc… Et toutes vos applications qui utilisent http et la configuration du système bénéficieront de cette modification. (Pour ne citer qu’un exemple, Eclipse si vous utilisez un svn par http).
Vous rentrez chez vous et vous n’avez plus besoin du proxy,
Pour désactiver l’utilisation du proxy, on utilise simplement la commande:
export http_proxy=""