Merge branch 'master' into perso

diff --git a/.bashrc b/.bashrc
index 6df39e266815f62d743ef9c9531987bf760fcd60..4da9b248738e273071dbd8a2f50081d77d6448fe 100644 (file)
--- a/.bashrc
+++ b/.bashrc
@@ -337,6 +337,12 @@ export EDITOR='/usr/bin/nano'
 # 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 |