Je suis sur Ubuntu 10.4 et ma coque est bash
. Lorsque j'ouvre plusieurs terminaux gnome et les ferme, l'historique est correctement ajouté. Quand j'entre, shopt
il dit entre autres:
histappend off
Quelqu'un peut-il me dire où le comportement d'ajout est configuré?