X-Git-Url: http://gitweb.pimeys.fr/?a=blobdiff_plain;f=.bashrc;h=47244fd5c5a1e6676eaa6914a56d7365f2c59669;hb=c6519464ce9328785ffe39f61663c1325e436cad;hp=c5e734700f60bcc4542681ea02c9df9489ec6405;hpb=153fa2cd3fbe568efb581809141a2a1ddc14ae0d;p=config-20-100.git

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