From a061802f5cdf5706793cfef4c2517729f6db89b7 Mon Sep 17 00:00:00 2001
From: Michiel Scholten <michiel@aquariusoft.org>
Date: Fri, 20 Jun 2014 17:09:17 +0200
Subject: [PATCH] Attempt at a git prompt from 20140604

---
 .bashrc | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/.bashrc b/.bashrc
index 12dee5a..505db66 100644
--- a/.bashrc
+++ b/.bashrc
@@ -58,6 +58,13 @@ hg_ps1() {
 	    hg prompt " \[\033[1;37m\]hg\[\033[0m\] {branch}{status}" 2> /dev/null
     }
 
+# gitprompt configuration
+# Set config variables first
+#GIT_PROMPT_ONLY_IN_REPO=1
+
+# as last entry source the gitprompt script
+#source ~/workspace/application_addons/git/bash-git-prompt/gitprompt.sh
+
 if [ "$color_prompt" = yes ]; then
     #PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[00m\]\$ '
     # Michiel's colour config
@@ -67,6 +74,7 @@ if [ "$color_prompt" = yes ]; then
     PROMPT_SYMBOL='$'
     #PS1="$YELLOW\t $BLUE\u$BLACK@\h:\W$ "
     PS1="$YELLOW\t $BLUE\u$BLACK@\h:\W$(hg_ps1)$ "
+    #PS1="$YELLOW\t $BLUE\u$BLACK@\h:\W$(hg_ps1)$(__git_ps1)$ "
     # /Michiel's colour config
 else
     PS1='${debian_chroot:+($debian_chroot)}\u@\h:\w\$ '