Admin/cronjob/README
author wenzelm
Tue, 04 Apr 2017 18:43:47 +0200
changeset 65370 1324268c2f6a
parent 64148 bbf43b7c4d0d
child 66995 9cb263dbb2f7
permissions -rw-r--r--
tuned;

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