В типичном браузере, когда мы устанавливаем прокси-сервер, мы можем определить список имен хостов / IP-адресов, которые не должны использовать прокси-сервер. Как добиться того же при использовании $ http_proxy? Я полагаюсь на настройку $ http_proxy для использования прокси-сервера в Chromium в 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 или другой инструмент командной строки, вам нужно сделать:
export no_proxy = localhost, 127.0.0.0 / 8,10.0.0.0 / 8,172.16.0.0 / 12,192.168.0.0 / 16