chiark / gitweb /
Don't use the dashed for of git commands
[stgit] / contrib / stgbashprompt.sh
index 5927e679e5c676376f580331552632a72e4b2a0b..d5c4994211fc354a529559943832af19fb54450e 100755 (executable)
@@ -5,8 +5,8 @@ if [ "$PS1" ]; then
        function __prompt_git()
        {
                local git_dir ref br top;
-               git_dir=$(git-rev-parse --git-dir 2> /dev/null) || return
-               ref=$(git-symbolic-ref HEAD 2> /dev/null) || return
+               git_dir=$(git rev-parse --git-dir 2> /dev/null) || return
+               ref=$(git symbolic-ref HEAD 2> /dev/null) || return
                br=${ref#refs/heads/}
                top=$(tail -n 1 $git_dir/patches/$br/applied 2>/dev/null) \
                top=${top:-(none)}