mirror of
https://github.com/oh-my-fish/oh-my-fish.git
synced 2024-11-22 11:34:41 +08:00
lib/git/git_is_touched: Speed up (#706)
* lib/git/git_is_touched: Speed up This used to use `git status --porcelain`, which by necessity needs to check the entire repo for all kinds of changes, just to figure out if there are any. Instead, we now use git commands that can exit early. In large repos, this can be faster by a factor of 15 or so. Fixes #624. * Fix return status `git diff` also returns 1 if there *is* a diff.
This commit is contained in:
parent
18821a5420
commit
131c8d74e5
|
@ -1,5 +1,8 @@
|
|||
function git_is_touched -d "Check if repo has any changes"
|
||||
git_is_repo; and begin
|
||||
test -n (echo (command git status --porcelain))
|
||||
# The first checks for staged changes, the second for unstaged ones.
|
||||
# We put them in this order because checking staged changes is *fast*.
|
||||
not command git diff-index --cached --quiet HEAD -- >/dev/null 2>&1
|
||||
or not command git diff --no-ext-diff --quiet --exit-code >/dev/null 2>&1
|
||||
end
|
||||
end
|
||||
|
|
Loading…
Reference in New Issue
Block a user