X-Git-Url: http://gitweb.pimeys.fr/?a=blobdiff_plain;f=.bashrc;h=47244fd5c5a1e6676eaa6914a56d7365f2c59669;hb=c6519464ce9328785ffe39f61663c1325e436cad;hp=4e594afa0c1b8e43f16e9f9e3ecdbbe1f3688847;hpb=d69491f850d4620875a577e6cc8f409500f2188a;p=config-20-100.git diff --git a/.bashrc b/.bashrc index 4e594af..47244fd 100644 --- a/.bashrc +++ b/.bashrc @@ -400,7 +400,7 @@ vcs_info(){ if [[ disabled[${vcss[$i]}] -eq 1 ]]; then continue fi - commands[${vcss[$i]}]=$(which ${vcss[$i]}); + commands[${vcss[$i]}]=$( (which ${vcss[$i]} 2>/dev/null >&2 && which ${vcss[i]})||echo true); done; found=0 @@ -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