From 87025d633098db4ade0cd8e377095e1d55a96aaa Mon Sep 17 00:00:00 2001
From: jlecour <jlecour+gitit@evolix.fr>
Date: Tue, 11 Sep 2018 14:01:18 +0200
Subject: [PATCH] ajout d'infos sur l'historique

---
 TipsShell.md | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/TipsShell.md b/TipsShell.md
index b55be263..c0ac70bf 100644
--- a/TipsShell.md
+++ b/TipsShell.md
@@ -15,13 +15,20 @@ Entre les 3 modes ("login", "interactive non-login" et "non-interactive non-logi
 `bashrc` :
 
 ~~~
-export HISTCONTROL=$HISTCONTROL${HISTCONTROL+,}ignoreboth
+export HISTCONTROL=$HISTCONTROL${HISTCONTROL+:}ignoreboth:erasedups
 export HISTSIZE=65535
 export HISTTIMEFORMAT="%c : " 
 ~~~
 
 > *Note* : si besoin on peut `chattr +a /root/.bash_history` pour empêcher sa suppression
 
+Pour avoir un historique qui ne sauvegarde à chaque commande saisie et se synchronise entre plusieurs terminaux :
+
+~~~
+shopt -s histappend
+PROMPT_COMMAND="history -a;history -n;${PROMPT_COMMAND}"
+~~~
+
 ## Changer l'éditeur de texte par défaut pour une commande
 
 Normalement le script (vipw, vigr, -ldapvi, ...) se réfère aux fichiers scripts (qui ne sont que des liens vers les binaires) :