From b3f79d5a2e1671358a5972d9529316be43c55281 Mon Sep 17 00:00:00 2001 From: "martin f. krafft" Date: Wed, 14 May 2008 22:04:08 +0100 Subject: [PATCH] also assume git repo type if GIT_DIR is set --- .zsh/zshrc/60_vcsprompt | 1 + 1 file changed, 1 insertion(+) diff --git a/.zsh/zshrc/60_vcsprompt b/.zsh/zshrc/60_vcsprompt index d72e205..4cc18a3 100644 --- a/.zsh/zshrc/60_vcsprompt +++ b/.zsh/zshrc/60_vcsprompt @@ -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 -- 2.39.2