From 95cfdb311213da2076363a003a2e79927dc0e219 Mon Sep 17 00:00:00 2001
From: Vincent Le Gallic <legallic@crans.org>
Date: Mon, 6 Jun 2016 18:32:55 +0200
Subject: [PATCH] =?utf8?q?[.bashrc]=20On=20sp=C3=A9cifie=20explicitement?=
 =?utf8?q?=20le=20fichier=20d'historique?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 .bashrc | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.bashrc b/.bashrc
index c5e7347..47244fd 100644
--- a/.bashrc
+++ b/.bashrc
@@ -635,6 +635,13 @@ function welcome_message ()
 # | Gestion de l'historique des commandes |
 # +---------------------------------------+
 
+# On spécifie explicitement le fichier d'historique.
+# En effet, si on jongle entre bash et zsh, per exemple,
+# comme ils n'utilisent pas le même format pour stocker le timestamp
+# des commandes, on se retrouve avec des comportements non souhaités
+# si on ne change pas le fichier d'historique entre les deux.
+export HISTFILE=~/.bash_history
+
 # On ne sauve pas les lignes dupliquées qui se suivent dans l'historique
 # ainsi que les commandes qui commencent par une espace
 export HISTCONTROL=ignoreboth
-- 
2.39.2