Une des caractéristiques de Gnome, en particulier de la version de 3, sont ses interfaces de configurations épurées. Pour la configuration du serveur mandataire il est par exemple impossible de configurer une liste d'hôte à ignorer dans l'outil de configuration fourni. Heureusement, l'utilisateur averti peut toujours modifier une multitude de paramètres avec l'utilitaire dconf-editor. Pour ajouter des hôtes à ignorer, lancer dconf-editor. Se déplacer dans l'arborescence sur la gauche vers system -> proxy, et éditer la liste "ignore-hosts". Vous pouvez y ajouter les hôtes à ignorer.

plus ...