Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
sindresorhus/pure#137: how to reproduce
sindresorhus/pure ( https://github.com/sindresorhus/pure/tree/579af2425b58483f1343afb97bf9ea12efb85d3b ) needs to be patched in the following way in order to clearly reproduce the problem (rather than depending on sheer luck of timing): diff --git a/pure.zsh b/pure.zsh index af4cd24..1515ef9 100644 --- a/pure.zsh +++ b/pure.zsh @@ -51,6 +51,10 @@ prompt_pure_check_git_arrows() { # check if there is an upstream configured for this branch command git rev-parse --abbrev-ref @'{u}' &>/dev/null || return + echo "finished parsing upstream branch" >>/tmp/pure.log + sleep 5 + echo "began parsing left/right" >>/tmp/pure.log + local arrows="" (( $(command git rev-list --right-only --count HEAD...@'{u}' 2>/dev/null) > 0 )) && arrows="${PURE_GIT_DOWN_ARROW:-⇣}" (( $(command git rev-list --left-only --count HEAD...@'{u}' 2>/dev/null) > 0 )) && arrows+="${PURE_GIT_UP_ARROW:-⇡}"
- Loading branch information