W typowej przeglądarce, gdy ustawiamy serwer proxy, możemy zdefiniować listę nazw hostów / adresów IP, które nie mają używać serwera proxy. Jak możemy osiągnąć to samo, używając $ http_proxy? Opieram się na ustawieniu $ http_proxy do używania serwera proxy w Chromium w systemie Linux, ale są to pewne adresy IP w intranecie, dla których muszę ominąć ustawienia proxy.
Spróbuj ustawić zmienną nazwaną no_proxyw następujący sposób
$ export no_proxy=localhost,127.0.0.0/8,10.0.0.0/8,172.16.0.0/12,192.168.0.0/16
Ale jeśli zrobisz to w wierszu poleceń, będziesz musiał to zrobić za każdym razem, gdy otworzysz nowe okno terminala. Jeśli chcesz, aby te ustawienia były trwałe, umieść to polecenie w pliku .profile pod $ HOME ( przeczytaj tę odpowiedź, jeśli chcesz lepiej zrozumieć, czym jest ten plik .profile ).
Bardzo pomocna odpowiedź. Dodałbym, że jeśli używasz curl / wget lub innego narzędzia wiersza poleceń, powinieneś zrobić:
eksport no_proxy = localhost, 127.0.0.0 / 8,10.0.0.0 / 8,172.16.0.0 / 12,192.168.0.0 / 16