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