]> git.donarmstrong.com Git - zsh.git/commitdiff
replace $HOME with ~ in GIT_DIR
authormartin f. krafft <madduck@madduck.net>
Wed, 14 May 2008 20:41:01 +0000 (21:41 +0100)
committermartin f. krafft <madduck@madduck.net>
Wed, 14 May 2008 20:41:01 +0000 (21:41 +0100)
.zsh/zshrc/60_vcsprompt

index f9c440b7db0ad5a73e4fc64258e3c52fca61b48a..744f649009a3db5a2f38d05f61e0eadb0cb26ff9 100644 (file)
@@ -140,7 +140,9 @@ __vcs_set_prompt_variables()
       branch="$(__git_get_branch)" ||
         { error "could not determine git branch"; return 1 }
       eval set -- $(__vcs_get_prompt_path_components "$reporoot" "$branch")
-      [ -d "$GIT_DIR" ] && set -- "$GIT_DIR" "$2" "$1"
+      # poor man's replace until I find out how to do named dirs properly
+      # here:
+      [ -d "$GIT_DIR" ] && set -- "${GIT_DIR/$HOME/~}" "$2" "$1"
       ;;
     hg)
       reporoot="$(__hg_get_reporoot)" ||