Don't use / as separatar since it is common i branch names

Don't use / as separatar since it is common i branch names

    Signed-off-by: Robin Rosenberg <robin.rosenberg@dewire.com>

diff --git a/contrib/stgbashprompt.sh b/contrib/stgbashprompt.sh
index f4817a1..5927e67 100755 (executable)
--- a/contrib/stgbashprompt.sh
+++ b/contrib/stgbashprompt.sh
@@ -9,8 +9,8 @@ if [ "$PS1" ]; then
                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";
-               echo "[$br$top]"
+               top=${top:-(none)}
+               echo "[$top@$br]"
        }
        PS1='\u@\h:$(__prompt_git)\W\$ '
 fi