Il 25/01/2013 16:08, Gianluca Sforna ha scritto:
Chissà quanto ci vuole a fare una estensione per Gnome Shell che lo
faccia cristianamente.
Penso più ad un problema di "isolamento" da parte
degli sviluppatori
Gnome che non ascoltano sollecitazioni esterne (vedi bug aperto da piu'
di un anno...) e.... mi preoccupa di piu' della funzione stessa.
Questa potrebbe essere un plugin di gnome shell o una estensione di
network-manager...in entrambi i casi non dovrebbe costare troppo sviluppo.