В типичном браузере, когда мы устанавливаем прокси-сервер, мы можем определить список имен хостов / IP-адресов, которые не должны использовать прокси-сервер. Как добиться того же при использовании $ http_proxy? Я полагаюсь на установку $ http_proxy для использования прокси-сервера в Хром в Linux, но это определенные IP-адреса в интрасети, для которых мне нужно обойти настройки прокси.
Попробуйте установить переменную с именем no_proxy следующим образом
$ export no_proxy=localhost,127.0.0.0/8,10.0.0.0/8,172.16.0.0/12,192.168.0.0/16
Но если вы сделаете это в командной строке, вам придется делать это снова каждый раз, когда вы открываете новое окно терминала. Если вы хотите, чтобы эти настройки были постоянными, поместите эту самую команду в свой файл .profile в $ HOME (прочтите этот ответ, если хотите лучше понять, что это за файл .profile).
Очень полезный ответ. Я бы добавил, что если вы используете curl / wget или другой инструмент командной строки, вам нужно сделать:
экспорт no_proxy = localhost, 127.0.0.0 / 8,10.0.0.0 / 8,172.16.0.0 / 12,192.168.0.0 / 16