Dans un navigateur classique, lorsque nous définissons un serveur proxy, nous pouvons définir une liste de noms d'hôtes / adresses IP qui ne doivent pas utiliser le serveur proxy. Comment pouvons-nous accomplir la même chose en utilisant $ http_proxy? Je compte sur la configuration de $ http_proxy pour utiliser le serveur proxy dans Chromium sous Linux, mais ce sont certaines adresses IP sur l'intranet pour lesquelles je dois contourner les paramètres de proxy.
Essayez de définir une variable nommée no_proxyde la manière suivante
$ export no_proxy=localhost,127.0.0.0/8,10.0.0.0/8,172.16.0.0/12,192.168.0.0/16
Mais si vous le faites dans la ligne de commande, vous devrez le refaire chaque fois que vous ouvrirez une nouvelle fenêtre de terminal. Si vous voulez que ces paramètres soient persistants, mettez cette commande même dans votre fichier .profile sous $ HOME ( lisez cette réponse si vous voulez mieux comprendre ce qu'est ce fichier .profile ).
Une réponse très utile. J'ajouterais que si vous utilisez curl / wget ou un autre outil en ligne de commande, vous voudriez faire:
export no_proxy = localhost, 127.0.0.0 / 8,10.0.0.0 / 8,172.16.0.0 / 12,192.168.0.0 / 16