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"