Merge branch 'master' into perso

[config-20-100.git] / .bashrc

diff --git a/.bashrc b/.bashrc
index c5e734700f60bcc4542681ea02c9df9489ec6405..056648669e183a16ef4d5d7c4dd6b50afc5c5cc4 100644 (file)
--- a/.bashrc
+++ b/.bashrc
@@ -640,10 +640,10 @@ function welcome_message ()
 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 - '
@@ -661,7 +661,7 @@ shopt -s histappend
 
 # 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'
@@ -669,12 +669,12 @@ shopt -s histappend
 # 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 |
@@ -698,5 +698,5 @@ fi
 # +-----+
 
 # 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