isabelle: Admin/cronjob/README@74ece0e491b6 (annotated)

64148 bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	1	Administrative Isabelle cronjob at TUM
bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	2	======================================
bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	3
bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	4	- crontab: manual update on target machine
bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	5	crontab -l
bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	6	crontab -e
bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	7
bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	8	- self_update: manual installation on target directory
bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	9	cp "$ISABELLE_HOME/Admin/cronjob/self_update "$HOME/cronjob/self_update"
bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	10
bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	11	- $HOME/cronjob/run/ -- run-time state
bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	12
bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	13	- $HOME/cronjob/log/ -- cumulative log area