J'ai récemment remplacé mon installation Ubuntu 14.04 par Ubuntu Gnome (qui est livré avec Gnome DE). Mais j'ai remarqué que l'historique de bash n'est pas sauvegardé une fois que la session de terminal est fermée. Une fois que je ferme une session de terminal et que j'en ouvre une nouvelle, et que je lance la commande history
il ne montre rien d'autre que le history
elle-même. Existe-t-il un moyen de résoudre ce problème ?
Merci de votre attention.