equal
deleted
inserted
replaced
1 Administrative Isabelle cronjob |
1 Administrative Isabelle cronjob |
2 =============================== |
2 =============================== |
3 |
3 |
4 - main server: virtual machine with cronjob and build_log database |
4 - main server: virtual machine with cronjob and build_log database |
5 - backup file-system (for cumulative log files): isatest@lxbroy10:cronjob |
5 - backup file-system (for cumulative log files): i21isatest@lxbroy10:cronjob |
6 - backup identify job: isatest@lxbroy5 |
6 - backup identify job: i21isatest@lxcisa0 |
7 |
7 |
8 - jobs: manual installation on target directory: |
8 - jobs: manual installation on target directory: |
9 cp "$ISABELLE_HOME/Admin/cronjob/self_update "$HOME/cronjob/self_update" |
9 cp "$ISABELLE_HOME/Admin/cronjob/self_update "$HOME/cronjob/self_update" |
10 cp "$ISABELLE_HOME/Admin/cronjob/plain_identify "$HOME/cronjob/plain_identify" |
10 cp "$ISABELLE_HOME/Admin/cronjob/plain_identify "$HOME/cronjob/plain_identify" |
11 |
11 |