diff --git a/Admin/cronjob/README b/Admin/cronjob/README --- a/Admin/cronjob/README +++ b/Admin/cronjob/README @@ -1,59 +1,59 @@ Administrative Isabelle cronjob =============================== - 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" cp "$ISABELLE_HOME/Admin/cronjob/plain_identify "$HOME/cronjob/plain_identify" - crontab: manual update on target machine crontab -l crontab -e - $HOME/cronjob/run/ -- run-time state - $HOME/cronjob/log/ -- cumulative log area Build Log Database Server ========================= - Ubuntu 18.04 LTS Linux Server standard installation https://help.ubuntu.com/lts/serverguide - apt install unattended-upgrades - special user account: useradd -m -s /bin/bash isatest - SSH access for jsch (on each client): LOCALHOST$ ssh-keyscan -t rsa DBSERVER >> ~/.ssh/known_hosts - PostgreSQL: $ apt install postgresql $ apt install postgresql-client $ sudo -u postgres psql template1 ALTER USER postgres with encrypted password '***'; $ edit /etc/postgresql/10/main/pg_hba.conf local all postgres md5 local all all md5 $ systemctl restart postgresql.service $ createuser -U postgres --interactive isatest ALTER USER isatest with encrypted password '***'; $ createdb -E UTF8 -T template0 --locale=en_US.utf8 -U postgres -O isatest isatest - Database backup or migration: https://www.postgresql.org/docs/9.5/static/backup-dump.html pg_dump -U postgres -Fc -v -d isatest > db.dump pg_restore -U postgres -Fc -v -d isatest < db.dump diff --git a/Admin/cronjob/crontab.lxbroy5 b/Admin/cronjob/crontab.lxcisa0 rename from Admin/cronjob/crontab.lxbroy5 rename to Admin/cronjob/crontab.lxcisa0