]> git.donarmstrong.com Git - zsh.git/commitdiff
also assume git repo type if GIT_DIR is set
authormartin f. krafft <madduck@madduck.net>
Wed, 14 May 2008 21:04:08 +0000 (22:04 +0100)
committermartin f. krafft <madduck@madduck.net>
Wed, 14 May 2008 21:04:08 +0000 (22:04 +0100)
.zsh/zshrc/60_vcsprompt

index d72e205eb3589e12cf84b95fae03715afdc32353..4cc18a3fd6feb72d174044579ad73d6999c7ccf7 100644 (file)
@@ -70,6 +70,7 @@ __vcs_get_repo_type()
   local dir
   while true; do
     [ -d ${dir}.git ] && echo git && break
+    [ -d "$GIT_DIR" ] && echo git && break
     [ -d ${dir}.bzr ] && echo bzr && break
     [ -d ${dir}.hg ] && echo hg && break
     [ "$(readlink -f ${dir:-.})" = / ] && echo NONE && break