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"