f6bb75579f
This change allow arbitrary Zim location path by setting a new
environment variable, ZIM_HOME. If the user does not set it, Zim falls
back to the old "${ZDOTDIR:-${HOME}}/.zim" location.
Closes #203
11 Zeilen
239 B
Text
11 Zeilen
239 B
Text
#
|
|
# 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
|