From a95dd3ec8735f5db8394d48b217c6a69cb6bf22a Mon Sep 17 00:00:00 2001
From: Steffen Vogel <post@steffenvogel.de>
Date: Wed, 21 May 2014 13:39:58 +0200
Subject: [PATCH] added missing include for git prompt

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

diff --git a/.bashrc b/.bashrc
index 1da5ec8..a9ba341 100644
--- a/.bashrc
+++ b/.bashrc
@@ -31,6 +31,11 @@ if [ -z "$debian_chroot" ] && [ -r /etc/debian_chroot ]; then
     debian_chroot=$(cat /etc/debian_chroot)
 fi
 
+# defines __git_ps1
+if [ -f ~/.bash_env ]; then
+	source ~/.bash_git
+fi
+
 # command prompt
 if [[ $EUID -ne 0 ]]; then
 	PS1='\[\e[01;30m\]\A `if [ $? = 0 ]; then echo "\[\e[32m\]✔"; else echo "\[\e[31m\]✘"; fi` \[\e[01;34m\]\u\[\e[01;33m\]@\[\e[01;36m\]\h `[[ $(git status 2> /dev/null | tail -n1) != "nothing to commit (working directory clean)" ]] && echo "\[\e[31m\]" || echo "\[\e[32m\]"`$(__git_ps1 "(%s)\[\e[00m\]")\[\e[01;34m\]\w\[\e[00m\]\$ '