author | wenzelm |
Mon, 31 Oct 2016 14:21:23 +0100 | |
changeset 64432 | c381bfd068fd |
parent 64148 | bbf43b7c4d0d |
child 64450 | 73859eb8d1fe |
permissions | -rwxr-xr-x |
#!/bin/bash # # self-update of the administrative isabelle repository # # Need to copy this file manually to $HOME/cronjob in order to # avoid overwriting the running self_update by itself! source "$HOME/.bashrc" cd "$HOME/cronjob" mkdir -p run log hg -R isabelle pull "http://isabelle.in.tum.de/repos/isabelle" -q || echo "self_update pull failed" hg -R isabelle update -C -q || echo "self_update update failed"