Di recente ho sostituito la mia installazione di Ubuntu 14.04 con Ubuntu Gnome (che viene fornito con Gnome DE). Ma ho notato che la cronologia di bash non viene salvata una volta chiusa la sessione del terminale. Quando chiudo una sessione terminale e ne apro una nuova, ed eseguo il comando historynon mostra altro che il historycomando stesso. C'è un modo per risolvere questo problema?
Grazie