1#!/usr/bin/env bash 2# 3# DESCRIPTION: start the main Isabelle cronjob 4 5THIS="$(cd "$(dirname "$0")"; pwd)" 6 7source "$HOME/.bashrc" 8 9export ISABELLE_IDENTIFIER="cronjob" 10"$THIS/../build" jars_fresh || exit $? 11 12exec "$THIS/../../bin/isabelle_java" isabelle.Isabelle_Cronjob "$@" 13