GNOME 的 ignore-hosts 值是一个字符串列表
在不假定字符串转换会让匹配规则等价的前提下，把绕过条目转换成 GNOME 的类型化设置格式。
GNOME 的 org.gnome.system.proxy ignore-hosts 设置接收一个字符串数组。Shell 里以逗号分隔的 no_proxy 值是一个字符串，所以原样复制会让 GNOME 得到错误的数据结构。
['localhost', '127.0.0.0/8', '::1', 'intranet.example']这演示的是设置值，而不是完整的 shell 命令。每一项仍然是数组中的一个元素。请使用设置工具文档中给出的变体语法和 shell 引号；拼接任意未转义的文本会额外引入一个解析问题。
编辑前先读取现有值，并保留有意的例外。用一个新主机替换整个数组，可能会移除回环或内部服务的行为。
接下来检查语义。GNOME 48 的 schema 记录了主机名、域通配符、IP 和子网等形式。使用原始环境列表的客户端可能只支持其中一部分。仅把逗号换成带引号的元素，并不能确立等价的匹配。
最后，回读类型化后的值，并在目标应用中检查一个目标地址。确认其生效模式：手动设置、PAC 和不用代理是彼此独立的选择。即使桌面值正确，终端工具也可能继续使用自己的环境策略。