NameDateSize

..25-Jul-201923

crontab.lxbroy5H A D25-Jul-201979

crontab.serverH A D25-Jul-2019208

mainH A D25-Jul-2019276

plain_identifyH A D25-Jul-20191.1 KiB

READMEH A D25-Jul-20191.6 KiB

self_updateH A D25-Jul-2019537

README

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 16.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/9.5/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