diff --git a/tools/zim_update b/tools/zim_update index ec422f0..5f3f73e 100644 --- a/tools/zim_update +++ b/tools/zim_update @@ -4,8 +4,8 @@ cd ${ZDOTDIR:-${HOME}/.zim} -# this is the cleanest way I know of to update a repository +# 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 foreach --quiet --recursive git pull origin master +git submodule update --init --recursive