Andrew's git
/
gitweb.git
/ diff
summary
|
log
|
commit
| diff |
tree
commit
grep
author
committer
pickaxe
?
re
Add bare repository indicator for __git_ps1
author
Marius Storm-Olsen
<git@storm-olsen.com>
Sat, 21 Feb 2009 14:48:43 +0000
(15:48 +0100)
committer
Junio C Hamano
<gitster@pobox.com>
Mon, 23 Feb 2009 23:23:39 +0000
(15:23 -0800)
Prefixes the branch name with "BARE:" if you're in a
bare repository.
Signed-off-by: Marius Storm-Olsen <git@storm-olsen.com>
Acked-by: Shawn O. Pearce <spearce@spearce.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
contrib/completion/git-completion.bash
patch
|
blob
|
history
raw
|
patch
| inline |
side by side
(parent:
5c9cc64
)
diff --git
a/contrib/completion/git-completion.bash
b/contrib/completion/git-completion.bash
index 6e8c5b91accb9151552e1124f8e1b1656fb9e95d..a61d852a140e1027e004a899ad58d51cd76c6070 100755
(executable)
--- a/
contrib/completion/git-completion.bash
+++ b/
contrib/completion/git-completion.bash
@@
-135,11
+135,17
@@
__git_ps1 ()
fi
fi
+ local c
+
+ if [ "true" = "$(git config --bool core.bare 2>/dev/null)" ]; then
+ c="BARE:"
+ fi
+
if [ -n "$b" ]; then
if [ -n "${1-}" ]; then
- printf "$1" "${b##refs/heads/}$w$i$r"
+ printf "$1" "$
c$
{b##refs/heads/}$w$i$r"
else
- printf " (%s)" "${b##refs/heads/}$w$i$r"
+ printf " (%s)" "$
c$
{b##refs/heads/}$w$i$r"
fi
fi
fi