Admin/cronjob/README
author haftmann
Wed, 23 Jun 2021 18:38:37 +0000
changeset 73870 d156b141fe2f
parent 73534 e7fb17bca374
permissions -rw-r--r--
merged

Administrative Isabelle cronjob
===============================

- main server: virtual machine with cronjob and build_log database
- 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 20.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