--- 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"