# HG changeset patch
# User wenzelm
# Date 1520019159 -3600
# Node ID 94a8fddc1e7c293224b50d44f94b59351d699e85
# Parent  7b84ecd54d7070d93e0718ae88d67e69ca7a675d
clarified README;

diff -r 7b84ecd54d70 -r 94a8fddc1e7c Admin/build_log/README
--- a/Admin/build_log/README	Fri Mar 02 19:14:35 2018 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,51 +0,0 @@
-Build Log Database Server
-=========================
-
-- Ubuntu 16.04 LTS Linux Server standard installation (e.g. on virtual host)
-  https://help.ubuntu.com/lts/serverguide
-
-- apt install unattended-upgrades
-
-- special user account:
-  useradd -m -s /bin/bash isatest
-
-- SSH access for jsch:
-  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/9.5/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
-
-
-Presentation
-============
-
-- gnuplot from original source, since Linux packages (like Gentoo)
-  often produce bad data interpolation
-
-  http://gnuplot.sourceforge.net/
-  https://sourceforge.net/projects/gnuplot/files/gnuplot/5.0.6/
-
-  $ cd gnuplot-5.0.6
-  $ ./configure
-  $ make
-
-  edit $ISABELLE_HOME_USER/etc/settings
-
-  ISABELLE_GNUPLOT=".../src/gnuplot"
diff -r 7b84ecd54d70 -r 94a8fddc1e7c Admin/cronjob/README
--- a/Admin/cronjob/README	Fri Mar 02 19:14:35 2018 +0100
+++ b/Admin/cronjob/README	Fri Mar 02 20:32:39 2018 +0100
@@ -12,3 +12,62 @@
 - $HOME/cronjob/run/ -- run-time state
 
 - $HOME/cronjob/log/ -- cumulative log area
+
+
+Build Log Database Server
+=========================
+
+- Ubuntu 16.04 LTS Linux Server standard installation (e.g. on virtual host)
+  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/9.5/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
+
+
+Build Status Charts
+===================
+
+- Gentoo Linux might require gnuplot from original source
+  (to avoid bad data interpolation)
+
+  http://gnuplot.sourceforge.net/
+  https://sourceforge.net/projects/gnuplot/files/gnuplot/5.0.6/
+
+  $ cd gnuplot-5.0.6
+  $ ./configure
+  $ make
+
+  edit $ISABELLE_HOME_USER/etc/settings
+
+  ISABELLE_GNUPLOT=".../src/gnuplot"