Merge branch 'master' into perso

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

diff --git a/.bashrc b/.bashrc
index 47244fd5c5a1e6676eaa6914a56d7365f2c59669..522e3f1c976e68dc210d82158a667bd873371537 100644 (file)
--- a/.bashrc
+++ b/.bashrc
@@ -647,10 +647,10 @@ export HISTFILE=~/.bash_history
 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 - '
@@ -668,7 +668,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'
@@ -676,12 +676,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 |
@@ -705,5 +705,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