Qualcosa si muove....
E' appena uscito
https://extensions.gnome.org/extension/589/proxifier/
funziona ma non ho capito come settare il "noproxy". Ho chiesto allo
sviluppatore visto che e' in beta puo' essere una dimenticanza.
E anche Gnome sta sviluppando una soluzione
https://bugzilla.gnome.org/show_bug.cgi?id=640475

Ciao,

    MEP

_______________________________________________
it-users mailing list
it-users@lists.fedoraproject.org
https://admin.fedoraproject.org/mailman/listinfo/it-users