# # 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