Gnome 3 : hôtes à ignorer pour le proxy

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 …