Su gnome 2.5 era possibile fare profili di rete in modo che dove si
andava si impostava un profilo differente e Gnome si prendeva tutte le
caratteristiche della rete senza doverle reimpostare
(ip/mask/gateway/proxy) e queste venivano ereditate da tutte le
applicazioni.
Era una cosa utilissima per chi come me cambia minimo 3 volte al giorno
luogo di connessione.
Su Gnome 3 c'e' stata una regressione e non e' possibile configurare
piu' di 1 proxy. Segnalata dal 2011
https://bugzilla.gnome.org/show_bug.cgi?id=664901 non e' stata prese in
considerazione fino ad oggi e sembra che bugzilla di Gnome non venga
molto letto.
In autonomia ho fatto script in bash_profile ma non e' una buona
soluzione per un utente finale (se volete li posto).
C'e' qualcuno che ha avuto lo stesso problema e come l'avete risolto?
Una estensione per gnome 3 sarebbe utilissima, come posso sollecitare
questa nuova ed utilissima funzione?
Ciao,
MEP
--
Marco Emanuel Palazzotti
Fedora Ambassador for Italy
http://fedoraproject.org/wiki/MarcoPalazzotti
http://pallinux.blogspot.com
palazzot(a)fedoraproject.org