Admin/cronjob/README
author wenzelm
Fri, 11 Nov 2016 21:06:15 +0100
changeset 64498 bb29e6849a28
parent 64148 bbf43b7c4d0d
child 66995 9cb263dbb2f7
permissions -rw-r--r--
$HOME/.bashrc provides TZ for *all* processes, resulting in proper date for Build_Log.log_date in remote_build_history via ssh (see also fe8f8f88a1d7);

Administrative Isabelle cronjob at TUM
======================================

- crontab: manual update on target machine
    crontab -l
    crontab -e

- self_update: manual installation on target directory
    cp "$ISABELLE_HOME/Admin/cronjob/self_update "$HOME/cronjob/self_update"

- $HOME/cronjob/run/ -- run-time state

- $HOME/cronjob/log/ -- cumulative log area