J'ai trouvé un indice sur la solution dans les forums Ubuntu , où un utilisateur a envoyé un lien vers Gnome Developer Center expliquant la configuration de Gnome Shell. Ma solution explique ce qu'il faut faire pour Unity.
Vous devrez installer dconf-tools si vous ne l'avez pas encore:
sudo apt-get install dconf-tools
Exécutez ensuite l'outil (par exemple, en appuyant sur Ctrl + F2 , puis en tapant dconf-editor et en appuyant sur Entrée ).
Développez le système de clés dans le volet gauche et cliquez sur la clé proxy . Dans le volet droit, vous obtiendrez l'emplacement pour entrer la liste des proxys ignorés ( ignore-hosts ).
Dans le proxy clé et ses sous-clés ( ftp , http , https et socks ), vous pouvez configurer plus d'options de proxy qui ne sont pas disponibles dans la nouvelle interface graphique brillante mais presque inutile.
N'oubliez pas de vous déconnecter et de vous reconnecter pour activer la configuration!
La seule différence pour Unity par rapport à Gnome Shell est que les clés à modifier pour Gnome Shell se trouvent dans la clé org.gnome.system.proxy.