J'ai bash configuré pour enregistrer l'historique, dans un fichier. Il le fait chaque fois que bash se termine [correctement]. Comme parfois bash ne sort pas correctement, l'historique est perdu.
La question est donc de savoir si je peux configurer bash pour enregistrer l'historique plus régulièrement?
J'utilise Debian Gnu (version 6, Squeeze) avec un noyau Linux.
version bash: GNU bash, version 4.1.5 (1) -release (i486-pc-linux-gnu)
shopt -s histappend
sous/etc/bash/bashrc
. Pourtant, toute sortie impure des shells en cours d'exécution perd son historique de ligne de commande.