Conditionalise git pull check

Whilst a nice feature, firing off a `git fetch` (and so an SSH/http call) after
*every* shell interaction is a bit heavy for my liking. This adds the ability to
disable it (whilst keeping it enabled by default).
This commit is contained in:
Tom Vincent
2013-10-30 01:10:05 +00:00
committed by Sindre Sorhus
parent e07a613111
commit 259a72c53b
2 changed files with 4 additions and 1 deletions

View File

@@ -59,7 +59,7 @@ prompt_pure_precmd() {
print -P $prompt_pure_preprompt
# check async if there is anything to pull
{
[[ -z $PURE_GIT_PULL || $PURE_GIT_PULL == true ]] && {
# check if we're in a git repo
command git rev-parse --is-inside-work-tree &>/dev/null &&
# check check if there is anything to pull