GIO ignore-hosts: nomes de host e endereços IP correspondem separadamente
Entenda por que o GIO pode encaminhar um nome de host pelo proxy e ainda ignorar seu endereço IP numérico, mesmo quando ambos identificam o mesmo serviço.
Seu cliente baseado em GIO acessa diretamente 192.168.40.12, mas usa o proxy para reports.example. O DNS diz que o nome resolve para esse endereço. O resolvedor de desvio não precisa fazer essa consulta antes de escolher uma rota.
GSimpleProxyResolver documenta regras de correspondência separadas: exclusões de nome de host se aplicam a destinos identificados por nome; exclusões de IP se aplicam a destinos identificados por endereço.
Com apenas 192.168.40.12 em ignore-hosts, o destino numérico pode ser desviado, enquanto o nome de host não. Expandir o endereço para uma entrada de sub-rede não o converte automaticamente em uma lista de nomes que resolvem dentro dessa sub-rede.
Se ambas as grafias devem ser diretas, expresse as duas intenções com as formas suportadas pelo consumidor real. Se as exceções vêm das configurações do GNOME, armazene-as como entradas de lista separadas. Mantenha a exceção de nome tão estreita quanto o requisito permitir; uma regra de domínio ampla e conveniente pode isentar serviços não relacionados.
Este é um contrato do resolvedor GIO, não uma regra universal para todo aplicativo em um desktop GNOME. Outro navegador ou biblioteca HTTP pode usar um resolvedor diferente, script PAC ou configuração de proxy explícita.
Compare a grafia da URL, o resolvedor selecionado e o modo de proxy ativo antes de diagnosticar um analisador de sub-rede quebrado. Uma conexão direta bem-sucedida por endereço é evidência útil sobre essa solicitação baseada em endereço. Por si só, não diz nada sobre como a solicitação por nome foi classificada.