Je suis passé à Ubuntu 11.10 à partir de 11.04, choqué de voir peu de choses ...
Mon système est derrière un proxy, j'ai donc défini un paramètre de proxy. En tant que développeur Web, je souhaite supprimer un grand nombre d'adresses que je tape dans la barre d'adresse du navigateur pour ne pas utiliser de proxy. Il n’existe pas de telle liste d’ignorer dans Ubuntu 11.10, quoi/où puis-je le faire? Quelle était l’obligation de changer la façon dont l’interface graphique fonctionnait?
J'ai trouvé un indice sur la solution dans Forums Ubunt , où un utilisateur a envoyé un lien vers Centre des développeurs Gnome expliquant la configuration de Gnome Shell. Ma solution explique quoi faire pour Unity.
Vous devrez installer dconf-tools si vous ne l'avez pas encore:
Sudo apt-get install dconf-tools
Puis exécutez l'outil (par exemple, en appuyant sur Ctrl + F2, puis en tapant dconf-editor et en appuyant sur Entrée).
Développez la clé système dans le volet de gauche et cliquez sur la touche proxy . . Dans le volet de droite, vous obtiendrez l'endroit où entrer la liste des serveurs proxy ignorés ( ignore-hosts ).
Dans la clé proxy et ses sous-clés (ftp, http, https et chaussettes =) vous pouvez configurer plusieurs 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 rendre la configuration active!
La seule différence entre Unity et Gnome Shell réside dans le fait que les clés à modifier pour Gnome Shell se trouvent dans la clé org.gnome.system.proxy.