1Administrative Isabelle cronjob 2=============================== 3 4- main server: virtual machine with cronjob and build_log database 5- backup file-system (for cumulative log files): isatest@lxbroy10:cronjob 6- backup identify job: isatest@lxbroy5 7 8- jobs: manual installation on target directory: 9 cp "$ISABELLE_HOME/Admin/cronjob/self_update "$HOME/cronjob/self_update" 10 cp "$ISABELLE_HOME/Admin/cronjob/plain_identify "$HOME/cronjob/plain_identify" 11 12- crontab: manual update on target machine 13 crontab -l 14 crontab -e 15 16- $HOME/cronjob/run/ -- run-time state 17 18- $HOME/cronjob/log/ -- cumulative log area 19 20 21Build Log Database Server 22========================= 23 24- Ubuntu 18.04 LTS Linux Server standard installation 25 https://help.ubuntu.com/lts/serverguide 26 27- apt install unattended-upgrades 28 29- special user account: 30 useradd -m -s /bin/bash isatest 31 32- SSH access for jsch (on each client): 33 LOCALHOST$ ssh-keyscan -t rsa DBSERVER 34 >> ~/.ssh/known_hosts 35 36- PostgreSQL: 37 38 $ apt install postgresql 39 $ apt install postgresql-client 40 41 $ sudo -u postgres psql template1 42 ALTER USER postgres with encrypted password '***'; 43 44 $ edit /etc/postgresql/10/main/pg_hba.conf 45 local all postgres md5 46 local all all md5 47 48 $ systemctl restart postgresql.service 49 50 $ createuser -U postgres --interactive isatest 51 ALTER USER isatest with encrypted password '***'; 52 53 $ createdb -E UTF8 -T template0 --locale=en_US.utf8 -U postgres -O isatest isatest 54 55- Database backup or migration: 56 https://www.postgresql.org/docs/9.5/static/backup-dump.html 57 58 pg_dump -U postgres -Fc -v -d isatest > db.dump 59 pg_restore -U postgres -Fc -v -d isatest < db.dump 60