Recentemente substituí minha instalação do Ubuntu 14.04 pelo Ubuntu Gnome (que acompanha o Gnome DE). Mas notei que o histórico do bash não é salvo depois que a sessão do terminal é fechada. Depois de fechar uma sessão do terminal, abrir uma nova e executar o comando, history
ele não mostra nada além do history
próprio comando. Existe alguma maneira de resolver esse problema?
Obrigado