Apro un thread apposito:
perche' il terminale di Gnome non mi salva la storia dei comandi?
C'e' qualche impostazione nuova??