author | wenzelm |
Thu, 13 Oct 2016 09:52:54 +0200 | |
changeset 64182 | 857a335ac292 |
parent 64148 | bbf43b7c4d0d |
child 64432 | c381bfd068fd |
permissions | -rwxr-xr-x |
64148 | 1 |
#!/bin/bash |
2 |
# |
|
3 |
# self-update of the administrative isabelle repository |
|
4 |
# |
|
5 |
# Need to copy this file manually to $HOME/cronjob in order to |
|
6 |
# avoid overwriting the running self_update by itself! |
|
7 |
||
8 |
source "$HOME/.bashrc" |
|
9 |
||
10 |
cd "$HOME/cronjob" |
|
11 |
mkdir -p run log |
|
12 |
||
13 |
hg -R isabelle pull -q || echo "self_update pull failed" |
|
14 |
hg -R isabelle update -C -q || echo "self_update update failed" |