From 0b0e95e88c1dbd6a9f16300ae03f725e37b6369b Mon Sep 17 00:00:00 2001 From: Tom Willemsen Date: Thu, 28 Jul 2011 00:25:27 +0200 Subject: Preparing placing home-directory in repo --- zsh/functions/prompt_git_info | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100755 zsh/functions/prompt_git_info (limited to 'zsh/functions/prompt_git_info') diff --git a/zsh/functions/prompt_git_info b/zsh/functions/prompt_git_info deleted file mode 100755 index 76d889a..0000000 --- a/zsh/functions/prompt_git_info +++ /dev/null @@ -1,23 +0,0 @@ -# -*- mode: shell-script -*- - -if [ -n "$__CURRENT_GIT_BRANCH" ]; then - local s="(" - s+="$__CURRENT_GIT_BRANCH" - case "$__CURRENT_GIT_BRANCH_STATUS" in - ahead) - s+="↑" - ;; - diverged) - s+="↕" - ;; - behind) - s+="↓" - ;; - esac - if [ -n "$__CURRENT_GIT_BRANCH_IS_DIRTY" ]; then - s+="⚡" - fi - s+=")" - - printf " %s%s" "%{${fg[yellow]}%}" $s -fi -- cgit v1.2.3-54-g00ecf