darkwiiplayer/darkrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Fix bash git branch for detatched head

Browse source
This commit is contained in:
Talia 2018-11-19 21:20:55 +01:00
parent 3ed66ecb4e
commit f7f7d59d09
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
bashrc
View file

@ -49,6 +49,10 @@ git__prompt () {
red='\033[01;31m' red='\033[01;31m'
green='\033[01;32m' green='\033[01;32m'
if [ -z $branch ]
then
branch='#'`git rev-parse --short HEAD`
fi
if [ $branch = 'master' ] if [ $branch = 'master' ]
then then
echo -ne " \033[01;34m$branch" echo -ne " \033[01;34m$branch"