From f7f7d59d091998cea8bee54dbcbdecf484dbb77c Mon Sep 17 00:00:00 2001
From: DarkWiiPlayer <darkwiiplayer@hotmail.com>
Date: Mon, 19 Nov 2018 21:20:55 +0100
Subject: [PATCH] Fix bash git branch for detatched head

---
 bashrc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/bashrc b/bashrc
index 4f06f1e..cc67b33 100644
--- a/bashrc
+++ b/bashrc
@@ -49,6 +49,10 @@ git__prompt () {
 		red='\033[01;31m'
 		green='\033[01;32m'
 
+		if [ -z $branch ]
+		then
+			branch='#'`git rev-parse --short HEAD`
+		fi
 		if [ $branch = 'master' ]
 		then
 			echo -ne " \033[01;34m$branch"