--- a/Admin/cronjob/README Wed Oct 07 21:02:04 2020 +0200
+++ b/Admin/cronjob/README Wed Oct 07 21:15:15 2020 +0200
@@ -2,8 +2,8 @@
===============================
- main server: virtual machine with cronjob and build_log database
-- backup file-system (for cumulative log files): isatest@lxbroy10:cronjob
-- backup identify job: isatest@lxbroy5
+- backup file-system (for cumulative log files): i21isatest@lxbroy10:cronjob
+- backup identify job: i21isatest@lxcisa0
- jobs: manual installation on target directory:
cp "$ISABELLE_HOME/Admin/cronjob/self_update "$HOME/cronjob/self_update"
--- a/Admin/cronjob/crontab.lxbroy5 Wed Oct 07 21:02:04 2020 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-SHELL=/bin/bash
-MAILTO=wenzelm
-
-20 00 * * * $HOME/cronjob/plain_identify
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/cronjob/crontab.lxcisa0 Wed Oct 07 21:15:15 2020 +0200
@@ -0,0 +1,4 @@
+SHELL=/bin/bash
+MAILTO=wenzelm
+
+20 00 * * * $HOME/cronjob/plain_identify