author | wenzelm |
Wed, 12 Oct 2016 09:32:48 +0200 | |
changeset 64159 | fe8f8f88a1d7 |
parent 64149 | 1380bf90d986 |
child 64182 | 857a335ac292 |
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 |
|
64159 | 11 |
exec "$THIS/../../bin/isabelle_java" "-Duser.timezone=Europe/Berlin" isabelle.Isabelle_Cronjob "$@" |