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
# | 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
# Nombre de lignes d'historique à garder
-export HISTSIZE=5000
+export HISTSIZE="10000"
# la même chose dans le fichier d'historique
-export HISTFILESIZE=5000
+export HISTFILESIZE="100000"
# Mémoriser le timestamp d'exécution de la commande
export HISTTIMEFORMAT='%F %T - '
# Pour éviter un troll, aucune ligne de cette section n'est décommentée.
# Choisissez la vôtre.
-#~# export EDITOR='/usr/bin/nano'
+export EDITOR='/usr/bin/nano'
#~# export EDITOR='/usr/bin/vim'
#~# export EDITOR='/usr/bin/emacs'
#~# export EDITOR='/usr/bin/jed'
# Ajouter ~/bin, /sbin et /usr/sbin à son PATH
PATH=~/bin:$PATH:/sbin:/usr/sbin
-#~# # Décommentez les lignes suivantes et peuplez-les correctement si
-#~# # vous avez besoin de commiter en tant que root *et* que votre
-#~# # /etc/sudoers contient bien la directive
-#~# # Defaults env_keep += "<les variables en question>"
-#~# export GIT_AUTHOR_NAME="$(git config user.name)"
-#~# export GIT_AUTHOR_EMAIL="$(git config user.email)"
+# Décommentez les lignes suivantes et peuplez-les correctement si
+# vous avez besoin de commiter en tant que root *et* que votre
+# /etc/sudoers contient bien la directive
+# Defaults env_keep += "<les variables en question>"
+export GIT_AUTHOR_NAME="$(git config user.name)"
+export GIT_AUTHOR_EMAIL="$(git config user.email)"
# +----------+
# | Sourcing |
# +-----+
# On n'exécute le welcome_message que à ce moment, parce que la customisation
-# local a pu changer des couleurs
+# locale a pu changer des couleurs
welcome_message