zim/tools/zim_reset

#
# zim_reset - resets the zim repository to latest commit
#

cd ${ZIM_HOME}
git reset --hard
[tools] initial commit 2016-05-15 00:22:04 +02:00			`#`
			`# zim_reset - resets the zim repository to latest commit`
			`#`

Allow arbitrary ZIM location with ZIM_HOME 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 2017-06-11 01:54:22 +02:00			`cd ${ZIM_HOME}`
[tools] initial commit 2016-05-15 00:22:04 +02:00			`git reset --hard`