diff --git a/.bashrc b/.bashrc index f20ee7905d284ba47f8e0be2a6efa429c719f2b6..dec712caba910c733650a93e261c2725168319f3 100644 --- a/.bashrc +++ b/.bashrc @@ -641,7 +641,7 @@ function welcome_message () # 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/$HOSTNAME -if [ -d ~/.bash/history ]; then +if [ ! -d ~/.bash/history ]; then mkdir -p ~/.bash/history fi @@ -696,7 +696,7 @@ if [ -f ~/.bash/aliases ]; then fi # Fichier locaux (utile quand on clone sa config sur plusieurs machines) -if [ -f ~/.bash/bashrc.local ]; then +if [ -f ~/.bash/bashrc.local ]; then . ~/.bash/bashrc.local fi