2 more questions:

1) qualcuno ha uno script bash per settare i proxy? perchè il tool di gnome nn sempre funziona bene.
vorrei qualcosa del tipo: settaproxy casa o settaproxy uni che a seconda del parametro mi setta il proxy.
2) è possibile settare i layout in maniera differente per le diverse applicazioni? in particolare vorrei che nella shell il layout di tastiera fosse USA (molto più comoda la dislocazione dei tasti) mentre per il resto fosse ITA. qualcuno sa aiutarmi?
grazie.