Você está olhando para o caminho errado. A variável de ambiente no_proxy
lista os sufixos de domínio, não os prefixos. A partir da documentação :
no_proxy
: This variable should contain a comma-separated list of domain extensions proxy should not be used for.
Então, para IPs, você tem duas opções:
1) Adicione cada IP completo:
printf -v no_proxy '%s,' 10.1.{1..255}.{1..255};
export no_proxy="${no_proxy%,}";
2) Renomeie wget
para wget-original
e escreva um script de invólucro (chamado wget
) que pesquise o IP do host da URL, e determine se ele deve ou não usar o proxy:
#!/bin/bash
ip='';
for arg; do
# parse arg; if it's a URL, determine the IP address
done;
if [[ "$ip" =~ ^10\.1\. ]]; then
wget-original --no-proxy "$@";
else
wget-original "$@";
fi;