isabelle: Admin/cronjob/README@d7b3876d3ab1 (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
66995 9cb263dbb2f7 plain identify job for Isabelle + AFP, independent of any Isabelle technology; wenzelm parents: 64148 diff changeset	4	- jobs: manual installation on target directory:
9cb263dbb2f7 plain identify job for Isabelle + AFP, independent of any Isabelle technology; wenzelm parents: 64148 diff changeset	5	cp "$ISABELLE_HOME/Admin/cronjob/self_update "$HOME/cronjob/self_update"
9cb263dbb2f7 plain identify job for Isabelle + AFP, independent of any Isabelle technology; wenzelm parents: 64148 diff changeset	6	cp "$ISABELLE_HOME/Admin/cronjob/plain_identify "$HOME/cronjob/plain_identify"
9cb263dbb2f7 plain identify job for Isabelle + AFP, independent of any Isabelle technology; wenzelm parents: 64148 diff changeset	7
64148 bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	8	- crontab: manual update on target machine
bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	9	crontab -l
bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	10	crontab -e
bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	11
bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	12	- $HOME/cronjob/run/ -- run-time state
bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	13
bbf43b7c4d0d basic setup for Isabelle cronjob; wenzelm parents: diff changeset	14	- $HOME/cronjob/log/ -- cumulative log area

author	wenzelm
	Mon, 27 Nov 2017 10:04:17 +0100
changeset 67092	d7b3876d3ab1
parent 66995	9cb263dbb2f7
child 67748	94a8fddc1e7c
permissions	-rw-r--r--