Admin/cronjob/README
author haftmann
Fri, 27 Jan 2023 19:16:38 +0100
changeset 77107 4c4d40913900
parent 76153 bf9f2f4069b9
permissions -rw-r--r--
Restored antiquotation.

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

- 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