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 history
non mostra altro che il history
comando stesso. C'è un modo per risolvere questo problema?
Grazie