]> git.madduck.net Git - etc/zsh.git/commitdiff

madduck's git repository

Every one of the projects in this repository is available at the canonical URL git://git.madduck.net/madduck/pub/<projectpath> — see each project's metadata for the exact URL.

All patches and comments are welcome. Please squash your changes to logical commits before using git-format-patch and git-send-email to patches@git.madduck.net. If you'd read over the Git project's submission guidelines and adhered to them, I'd be especially grateful.

SSH access, as well as push access can be individually arranged.

If you use my repositories frequently, consider adding the following snippet to ~/.gitconfig and using the third clone URL listed for each project:

[url "git://git.madduck.net/madduck/"]
  insteadOf = madduck:

beautify prompt when GIT_DIR is set
authormartin f. krafft <madduck@madduck.net>
Wed, 14 May 2008 20:46:22 +0000 (21:46 +0100)
committermartin f. krafft <madduck@madduck.net>
Wed, 14 May 2008 20:46:22 +0000 (21:46 +0100)
.zsh/zshrc/60_vcsprompt

index 744f649009a3db5a2f38d05f61e0eadb0cb26ff9..d72e205eb3589e12cf84b95fae03715afdc32353 100644 (file)
@@ -140,9 +140,13 @@ __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")
-      # poor man's replace until I find out how to do named dirs properly
-      # here:
-      [ -d "$GIT_DIR" ] && set -- "${GIT_DIR/$HOME/~}" "$2" "$1"
+      if [ -d "$GIT_DIR" ]; then
+        # poor man's replace until I find out how to do named dirs properly
+        # here:
+        _D="${GIT_DIR/$HOME/~}"
+        set -- "$_D" "$2" "${${1#$_D}%/}"
+        unset _D
+      fi
       ;;
     hg)
       reporoot="$(__hg_get_reporoot)" ||