~/.bashrc : history commun à tous les terminaux

Partagez ici vos Trucs et vos Astuces.
Répondre
MicP
Modérateur
Modérateur
Messages : 673
Enregistré le : 16 avr. 2016, 22:14
Status : Hors ligne

27 oct. 2017, 15:33

Pour que le fichier history soit actualisé
à 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"
Répondre