Merge branch 'master' into perso : VCS par variable

Conflicts:
	.bashrc

diff --git a/.bashrc b/.bashrc
index 74cc23288bfca279202e8fdde7c864edd04f9977..ae053a3a54790fb48ba6bb30c7a942cdce075c61 100644 (file)
--- a/.bashrc
+++ b/.bashrc
@@ -171,6 +171,11 @@ else
     color_prompt=no
 fi
 
+# Est-ce qu'on veut que le prompt affiche les information sur l'éventuel dépôt
+# versionné dans lequel on se trouve
+#~# # Changez cette variable en "yes" pour l'afficher
+display_vcs_info=no
+
 
 # Génération de la ligne de "-"
 function gen_minus_line
@@ -195,7 +200,9 @@ function prompt_command
 
     # À décommenter si on veut des infos
     # quand on se trouve dans un dépôt versionné
-    get_vcs_info
+    if [ "$display_vcs_info" = yes ]; then
+        get_vcs_info
+    fi
     
     pwd=${PWD/#$HOME/'~'}
     if (( ${#pwd} + ${VCS_size} + 27 > COLUMNS )); then