Ho aggiornato Ubuntu 11.10 dall'11.04, scioccato nel vedere poche cose ...
Il mio sistema è protetto da un proxy, quindi ho impostato un'impostazione proxy. Essendo uno sviluppatore web, voglio rimuovere molti indirizzi che scrivo nella barra degli indirizzi del browser per non colpire il proxy. Non esiste una tale lista da ignorare in Ubuntu 11.10, cosa / dove lo faccio? Qual era il requisito per cambiare il modo in cui la GUI di rete funzionava?
Risposte:
Ho trovato un suggerimento per la soluzione nei forum di Ubuntu , dove un utente ha inviato un link al Gnome Developer Center spiegando la configurazione di Gnome Shell. La mia soluzione spiega cosa fare per Unity.
Dovrai installare dconf-tools se non lo hai ancora:
sudo apt-get install dconf-tools
Quindi eseguire lo strumento (ad esempio, premendo Ctrl + F2 , quindi digitando dconf-editor e premendo Invio ).
Espandere il sistema di chiavi nel riquadro sinistro e fare clic sulla chiave proxy . Nel riquadro di destra troverai il posto per accedere all'elenco dei proxy ignorati ( ignore-hosts ).
Nel proxy chiave e nelle relative sottochiavi ( ftp , http , https e socks ) è possibile configurare più opzioni proxy che non sono disponibili nella nuova interfaccia grafica luccicante ma quasi inutile.
Non dimenticare di disconnettersi e riconnettersi per rendere attiva la configurazione!
L'unica differenza per Unity rispetto a Gnome Shell è che le chiavi da modificare per Gnome Shell si trovano nella chiave org.gnome.system.proxy.