Em um navegador típico, quando definimos um servidor proxy, podemos definir uma lista de nomes de host / endereços IP que não devem usar o servidor proxy. Como podemos realizar a mesma coisa ao usar $ http_proxy? Eu confio em configurar $ http_proxy para usar o servidor proxy no Chromium no Linux, mas eles têm certos endereços IP na intranet que eu precisa ignorar as configurações de proxy para.
Tente definir a variável chamada no_proxy da seguinte maneira
$ export no_proxy=localhost,127.0.0.0/8,10.0.0.0/8,172.16.0.0/12,192.168.0.0/16
Mas se você fizer isso na linha de comando, terá que fazer isso novamente toda vez que abrir uma nova janela de terminal. Se você quiser que essas configurações sejam persistentes, coloque este mesmo comando dentro do seu arquivo .profile em $ HOME ( leia esta resposta se quiser entender melhor o que é esse arquivo .profile ).
Uma resposta muito útil. Gostaria de acrescentar que, se você estiver usando o curl / wget ou outra ferramenta de linha de comando, você deseja fazer:
export no_proxy = localhost, 127.0.0.0 / 8,10.0.0.0 / 8,172.16.0.0 / 12,192.168.0.0 / 16