Commit 95cfdb31 authored by Vincent Le gallic's avatar Vincent Le gallic

[.bashrc] On spécifie explicitement le fichier d'historique

parent 4057b611
......@@ -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
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment