3e60ae9950
This change allow arbitrary ZIM location path by setting a new
environment variable, ZIM_PATH. If the user does not set it, ZIM falls
back to the old "${ZDOTDIR:-${HOME}}/.zim" location.
12 lines
239 B
Plaintext
12 lines
239 B
Plaintext
#
|
|
# zim_update - update the zim repository
|
|
#
|
|
|
|
cd ${ZIM_HOME}
|
|
|
|
# this is the cleanest way I know how to update a repository
|
|
git remote update -p
|
|
git merge --ff-only @\{u\}
|
|
# and update the submodules
|
|
git submodule update --init --recursive
|