]> gitweb.pimeys.fr Git - config-20-100.git/blobdiff - .bashrc
[procmail] Tri des ML : nom-ml.domain.list*e*s.tld est géré aussi
[config-20-100.git] / .bashrc
diff --git a/.bashrc b/.bashrc
index f328f7e8e582c7ec4c282cff05a9fdb43c686621..522e3f1c976e68dc210d82158a667bd873371537 100644 (file)
--- 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