equal
deleted
inserted
replaced
1 Administrative Isabelle cronjob at TUM |
1 Administrative Isabelle cronjob at TUM |
2 ====================================== |
2 ====================================== |
|
3 |
|
4 - jobs: manual installation on target directory: |
|
5 cp "$ISABELLE_HOME/Admin/cronjob/self_update "$HOME/cronjob/self_update" |
|
6 cp "$ISABELLE_HOME/Admin/cronjob/plain_identify "$HOME/cronjob/plain_identify" |
3 |
7 |
4 - crontab: manual update on target machine |
8 - crontab: manual update on target machine |
5 crontab -l |
9 crontab -l |
6 crontab -e |
10 crontab -e |
7 |
11 |
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 - $HOME/cronjob/run/ -- run-time state |
12 |
13 |
13 - $HOME/cronjob/log/ -- cumulative log area |
14 - $HOME/cronjob/log/ -- cumulative log area |