Un valore ignore-hosts di GNOME è un elenco di stringhe
Converti le voci di bypass nel formato tipizzato delle impostazioni di GNOME senza presumere che la conversione in stringhe renda equivalenti le loro regole di corrispondenza.
L'impostazione org.gnome.system.proxy ignore-hosts di GNOME accetta un array di stringhe. Il valore no_proxy di una shell separato da virgole è una singola stringa, quindi copiarlo senza modifiche fornisce a GNOME la struttura dati sbagliata.
['localhost', '127.0.0.0/8', '::1', 'intranet.example']Questo illustra il valore dell'impostazione, non un comando shell completo. Ogni voce resta un elemento dell'array. Usa la sintassi delle varianti documentata dello strumento di impostazione e il quoting della shell; concatenare testo arbitrario non sottoposto a escape aggiunge un problema di analisi separato.
Leggi il valore esistente prima di modificarlo e preserva le eccezioni intenzionali. Sostituire l'array con un solo nuovo host può rimuovere il comportamento di loopback o dei servizi interni.
Poi verifica il significato. Lo schema di GNOME 48 documenta le forme nome host, jolly di dominio, IP e sottorete. Il client che usa l'elenco di ambiente originale potrebbe supportare un sottoinsieme diverso. Convertire solo le virgole in elementi tra virgolette non può stabilire una corrispondenza equivalente.
Infine, rileggi il valore tipizzato e ispeziona una destinazione nell'applicazione prevista. Conferma la sua modalità attiva: impostazioni manuali, PAC e nessun proxy sono scelte separate. Gli strumenti del terminale possono continuare a usare la propria politica di ambiente anche quando il valore del desktop è corretto.