Mi .bashrc
contient les éléments suivants :
HISTSIZE=30000
PROMPT_COMMAND="history -a"
export HISTSIZE PROMPT_COMMAND
Ce que je remarque :
- les
.bash_history
fait sont ajoutés. - L'historique d'une session de terminal donnée no inclure des entrées ajoutées à partir d'autres sessions de terminal
Le comportement souhaité est d'avoir le .bash_history
rechargée après toute commande sur n'importe quel terminal. Quel est le moyen d'y parvenir ? Il s'agirait probablement d'une modification de la fonction PROMPT_COMMAND
?