From 0e279a17d44d944455d85ce9480fc48e32dbb8ce Mon Sep 17 00:00:00 2001 From: Sindre Sorhus Date: Wed, 31 Dec 2014 13:42:31 +0700 Subject: [PATCH] fix indent --- pure.zsh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pure.zsh b/pure.zsh index e2bfc38..80b010f 100644 --- a/pure.zsh +++ b/pure.zsh @@ -77,7 +77,7 @@ prompt_pure_precmd() { # check async if there is anything to pull (( ${PURE_GIT_PULL:-1} )) && { # check if we're in a git repo - [[ "$(command git rev-parse --is-inside-work-tree 2>/dev/null)" == "true" ]] && + [[ "$(command git rev-parse --is-inside-work-tree 2>/dev/null)" == "true" ]] && # make sure working tree is not $HOME [[ "$(command git rev-parse --show-toplevel)" != "$HOME" ]] && # check check if there is anything to pull