Fix git_is_dirty
This commit is contained in:
parent
d8d47433d0
commit
ea3962b380
@ -5,7 +5,7 @@ function parse_git_branch() {
|
|||||||
}
|
}
|
||||||
|
|
||||||
function git_is_dirty() {
|
function git_is_dirty() {
|
||||||
git diff-index --quiet --cached HEAD && git diff-files --quiet
|
! test -z "$(git status --porcelain)"
|
||||||
}
|
}
|
||||||
|
|
||||||
function current_shell() {
|
function current_shell() {
|
||||||
|
Loading…
Reference in New Issue
Block a user