à l'ouverture de chaque fenêtre de terminal,
et à chaque commande lancée,
j'ai ajouté cette variable dans ~/.bashrc
Code : Tout sélectionner
# Pour avoir le même history actualisé pour tous les terminaux,
# À chaque prompt affiché,
# ajoute l'history en cours + RAZ history en cours + recharge history
PROMPT_COMMAND="history -a; history -c; history -r; $PROMPT_COMMAND"