author | wenzelm |
Thu, 13 Oct 2016 09:52:54 +0200 | |
changeset 64182 | 857a335ac292 |
parent 64159 | fe8f8f88a1d7 |
child 64266 | 4699d3b3173e |
permissions | -rwxr-xr-x |
64148 | 1 |
#!/usr/bin/env bash |
2 |
# |
|
3 |
# DESCRIPTION: start the main Isabelle cronjob |
|
4 |
||
5 |
THIS="$(cd "$(dirname "$0")"; pwd)" |
|
6 |
||
7 |
source "$HOME/.bashrc" |
|
8 |
||
64149 | 9 |
"$THIS/../build" jars_fresh || exit $? |
64148 | 10 |
|
64182
857a335ac292
separate ISABELLE_HOME_USER (with its etc/settings);
wenzelm
parents:
64159
diff
changeset
|
11 |
exec env ISABELLE_IDENTIFIER="cronjob" \ |
857a335ac292
separate ISABELLE_HOME_USER (with its etc/settings);
wenzelm
parents:
64159
diff
changeset
|
12 |
"$THIS/../../bin/isabelle_java" "-Duser.timezone=Europe/Berlin" isabelle.Isabelle_Cronjob "$@" |