1
0
Fork 0
mirror of synced 2024-11-22 23:35:35 -05:00

Allow modules that are not repos

so going into their ${ZIM_HOME}/modules/foo directory would be like
still being inside the Zim repo, in ${ZIM_HOME}. Don't try to update
them in this case.

This was supposed to be working before, but my ${ZIM_HOME} was not a
repo when I was still developing this locally.
This commit is contained in:
Eric Nielsen 2019-01-12 15:56:00 -05:00
parent 2a51211ab7
commit 536d7b7890
No known key found for this signature in database
GPG key ID: 47D1DBFA0765A1FB

View file

@ -9,8 +9,8 @@ if ! cd ${DIR} 2>/dev/null; then
print -P "%F{red}✗ ${MODULE}: Not installed%f" print -P "%F{red}✗ ${MODULE}: Not installed%f"
return 1 return 1
fi fi
if ! command git rev-parse --is-inside-work-tree &>/dev/null; then if [[ ${PWD} != $(command git rev-parse --show-toplevel 2>/dev/null) ]]; then
# Not a git repository. Will not try to update. # Not in repo root. Will not try to update.
return 0 return 0
fi fi
if [[ ${URL} != $(command git config --get remote.origin.url) ]]; then if [[ ${URL} != $(command git config --get remote.origin.url) ]]; then