Admin/cronjob/README
author paulson <lp15@cam.ac.uk>
Mon Oct 30 16:02:59 2017 +0000 (22 months ago)
changeset 66939 04678058308f
parent 64148 bbf43b7c4d0d
child 66995 9cb263dbb2f7
permissions -rw-r--r--
New results in topology, mostly from HOL Light's moretop.ml
wenzelm@64148
     1
Administrative Isabelle cronjob at TUM
wenzelm@64148
     2
======================================
wenzelm@64148
     3
wenzelm@64148
     4
- crontab: manual update on target machine
wenzelm@64148
     5
    crontab -l
wenzelm@64148
     6
    crontab -e
wenzelm@64148
     7
wenzelm@64148
     8
- self_update: manual installation on target directory
wenzelm@64148
     9
    cp "$ISABELLE_HOME/Admin/cronjob/self_update "$HOME/cronjob/self_update"
wenzelm@64148
    10
wenzelm@64148
    11
- $HOME/cronjob/run/ -- run-time state
wenzelm@64148
    12
wenzelm@64148
    13
- $HOME/cronjob/log/ -- cumulative log area