GIO ignore-hosts: имена хостов и IP-адреса сопоставляются отдельно
Поймите, почему GIO может отправлять имя хоста через прокси, но обходить его числовой IP-адрес, даже если оба обозначают одну и ту же службу.
Ваш клиент на основе GIO ходит напрямую к 192.168.40.12, но использует прокси для reports.example. DNS сообщает, что имя разрешается в этот адрес. Резолвер обхода не обязан выполнять этот запрос перед выбором маршрута.
GSimpleProxyResolver документирует отдельные правила сопоставления: исключения по имени хоста применяются к адресатам, определяемым по имени; исключения по IP применяются к адресатам, определяемым по адресу.
Если 192.168.40.12 указан только в ignore-hosts, числовой адресат может обходить прокси, а имя хоста не может. Расширение адреса до записи подсети не превращает его автоматически в список имён, разрешаемых в этой подсети.
Если оба варианта записи должны идти напрямую, выразите оба намерения формами, которые поддерживает фактический потребитель. Если исключения берутся из настроек GNOME, храните их как отдельные элементы списка. Держите исключение по имени настолько узким, насколько позволяет требование; удобное широкое доменное правило может освободить несвязанные сервисы.
Это контракт резолвера GIO, а не универсальное правило для любого приложения на рабочем столе GNOME. Другой браузер или HTTP-библиотека может использовать другой резолвер, PAC-скрипт или явную конфигурацию прокси.
Сравните написание URL, выбранный резолвер и активный режим прокси, прежде чем диагностировать сломанный парсер подсетей. Успешное прямое соединение по адресу — полезное свидетельство об этом запросе, основанном на адресе. Само по себе оно ничего не говорит о том, как был классифицирован запрос по имени.