# Shamelessly based on http://glandium.org/blog/?p=170
#
+__on_networkfs()
+{
+ case $(df -T . | sed -rne '$s,^[^[:space:]]+[[:space:]]+([^[:space:]]+).*,\1,p') in
+ (cifs|nfs) return 0;;
+ esac
+ return 1
+}
+
__git_get_reporoot()
{
# return the full path to the root of the current git repository
[ -d "$GIT_DIR" ] && echo "$GIT_DIR" && return 0
- local relroot
- relroot="$(git rev-parse --show-cdup 2>/dev/null)" || return 1
- if [ -n "$relroot" ]; then
- readlink -f "$relroot"
- else
- echo $PWD
- fi
+ local dir; dir="$PWD/$(git rev-parse --show-cdup)"
+ # do not use --show-toplevel because it resolves symlinks
+ echo $dir:a
}
__git_get_branch()
{
# return the name of the git branch we're on
- local ref
- ref=$(git --git-dir="$PWD" symbolic-ref -q HEAD 2>/dev/null \
- || git --git-dir="$PWD" name-rev --name-only HEAD 2>/dev/null) || return 1
+ local ref gitdir
+ gitdir="$(git rev-parse --git-dir)"
+ ref=$(git --git-dir="$gitdir" symbolic-ref -q HEAD 2>/dev/null \
+ || git --git-dir="$gitdir" name-rev --name-only HEAD 2>/dev/null) || return 1
echo "${ref#refs/heads/}"
}
__git_print_preprompt()
{
+ [ "$(git config --get core.bare)" = false ] || return
+ __on_networkfs && return
+
local output
output=(${(f):-"$(git diff --stat --relative 2>/dev/null)"})
if [[ ${#output} -gt 1 ]]; then
{ error "could not determine git repository root"; return 1 }
branch="$(__git_get_branch)" ||
{ error "could not determine git branch"; return 1 }
- eval set -- $(__vcs_get_prompt_path_components "$reporoot" "$branch")
- if [ -d "$GIT_DIR" ]; then
- # poor man's replace until I find out how to do named dirs properly
- # here:
- local _D="${GIT_DIR/$HOME/~}"
- set -- "$_D" "$2" "${${1#$_D}%/}"
+ if [ -n "$VCSH_REPO_NAME" ]; then
+ # if vcsh is used to get a subshell, then the repo root is the home
+ # directory, but we want to indicate the vcsh context too:
+ eval set -- $(__vcs_get_prompt_path_components "$HOME" "$branch")
+ set -- "vcsh:$VCSH_REPO_NAME" "$2" "$3"
+ else
+ eval set -- $(__vcs_get_prompt_path_components "$reporoot" "$branch")
+ if [ -d "$GIT_DIR" ]; then
+ # poor man's replace until I find out how to do named dirs properly
+ # here:
+ local _D="${GIT_DIR/$HOME/~}"
+ set -- "$_D" "$2" "${${1#$_D}%/}"
+ fi
fi
;;
hg)