Merge branch 'master' into perso

diff --combined .bashrc
index 6df39e266815f62d743ef9c9531987bf760fcd60,1a60625f363e07a7258373082d34d6824846d2e6..4da9b248738e273071dbd8a2f50081d77d6448fe
--- 1/.bashrc
--- 2/.bashrc
+++ b/.bashrc
@@@ -299,6 -299,7 +299,6 @@@ function welcome_message (
  ### ^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ###
  ### Attention à ce que vous avez édité dans cette section ###
  
 -
  # +---------------------------------------+
  # | Gestion de l'historique des commandes |
  # +---------------------------------------+
@@@ -308,10 -309,10 +308,10 @@@
  export HISTCONTROL=ignoreboth
  
  # Nombre de lignes d'historique à garder
 -export HISTSIZE=5000
 +export HISTSIZE=
  
  # la même chose dans le fichier d'historique
 -export HISTFILESIZE=5000
 +export HISTFILESIZE=
  
  # Mémoriser le timestamp d'exécution de la commande
  export HISTTIMEFORMAT='%F %T - '
@@@ -329,7 -330,7 +329,7 @@@ shopt -s histappen
  
  # 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'
@@@ -337,6 -338,12 +337,12 @@@
  # 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>"
+ #~# GIT_AUTHOR_NAME=$(git config user.name)
+ #~# GIT_AUTHOR_EMAIL=$(git config user.email)
  
  # +----------+
  # | Sourcing |
@@@ -360,5 -367,5 +366,5 @@@ f
  # +-----+
  
  # 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