diff options
| author | Alan Pearce | 2013-09-15 17:12:51 +0100 |
|---|---|---|
| committer | Alan Pearce | 2013-09-15 17:18:37 +0100 |
| commit | b0c124161c2df4e5762b918dfcbf142d61ea9a77 (patch) | |
| tree | 67b7c7fa324d622d0f297f9a1594f54153d6a0e6 /zsh | |
| parent | f5035c449c73b3712078a43f044298f2498af405 (diff) | |
| download | dotfiles-b0c124161c2df4e5762b918dfcbf142d61ea9a77.tar.lz dotfiles-b0c124161c2df4e5762b918dfcbf142d61ea9a77.tar.zst dotfiles-b0c124161c2df4e5762b918dfcbf142d61ea9a77.zip | |
zsh: Optimise pure prompt git checking
Diffstat (limited to 'zsh')
| -rw-r--r-- | zsh/functions/pure/prompt_pure_setup | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/zsh/functions/pure/prompt_pure_setup b/zsh/functions/pure/prompt_pure_setup index 9c2a752..2cf9101 100644 --- a/zsh/functions/pure/prompt_pure_setup +++ b/zsh/functions/pure/prompt_pure_setup @@ -18,8 +18,8 @@ # fastest possible way to check if repo is dirty prompt_pure_git_dirty() { - # check if we're in a git repo - command git rev-parse --is-inside-work-tree &>/dev/null || return + # check if we're at the top level of a git repo + [[ -d .git ]] || return # check if it's dirty command git diff --quiet --ignore-submodules HEAD &>/dev/null |