author | wenzelm |
Tue, 04 Apr 2017 18:43:47 +0200 | |
changeset 65370 | 1324268c2f6a |
parent 64148 | bbf43b7c4d0d |
child 66995 | 9cb263dbb2f7 |
permissions | -rw-r--r-- |
64148 | 1 |
Administrative Isabelle cronjob at TUM |
2 |
====================================== |
|
3 |
||
4 |
- crontab: manual update on target machine |
|
5 |
crontab -l |
|
6 |
crontab -e |
|
7 |
||
8 |
- self_update: manual installation on target directory |
|
9 |
cp "$ISABELLE_HOME/Admin/cronjob/self_update "$HOME/cronjob/self_update" |
|
10 |
||
11 |
- $HOME/cronjob/run/ -- run-time state |
|
12 |
||
13 |
- $HOME/cronjob/log/ -- cumulative log area |