Admin/build_log/README
author paulson <lp15@cam.ac.uk>
Mon Oct 30 16:02:59 2017 +0000 (21 months ago)
changeset 66939 04678058308f
parent 65803 1fdb6ba9d32c
permissions -rw-r--r--
New results in topology, mostly from HOL Light's moretop.ml
     1 Build Log Database Server
     2 =========================
     3 
     4 - Ubuntu 16.04 LTS Linux Server standard installation (e.g. on virtual host)
     5   https://help.ubuntu.com/lts/serverguide
     6 
     7 - apt install unattended-upgrades
     8 
     9 - special user account:
    10   useradd -m -s /bin/bash isatest
    11 
    12 - SSH access for jsch:
    13   LOCALHOST$ ssh-keyscan -t rsa DBSERVER
    14   >> ~/.ssh/known_hosts
    15 
    16 - PostgreSQL:
    17 
    18   $ apt install postgresql
    19   $ apt install postgresql-client
    20 
    21   $ sudo -u postgres psql template1
    22   ALTER USER postgres with encrypted password '***';
    23 
    24   $ edit /etc/postgresql/9.5/main/pg_hba.conf
    25   local all postgres md5
    26   local all all md5
    27 
    28   $ systemctl restart postgresql.service
    29 
    30   $ createuser -U postgres --interactive isatest
    31   ALTER USER isatest with encrypted password '***';
    32 
    33   $ createdb -E UTF8 -T template0 --locale=en_US.utf8 -U postgres -O isatest isatest
    34 
    35 
    36 Presentation
    37 ============
    38 
    39 - gnuplot from original source, since Linux packages (like Gentoo)
    40   often produce bad data interpolation
    41 
    42   http://gnuplot.sourceforge.net/
    43   https://sourceforge.net/projects/gnuplot/files/gnuplot/5.0.6/
    44 
    45   $ cd gnuplot-5.0.6
    46   $ ./configure
    47   $ make
    48 
    49   edit $ISABELLE_HOME_USER/etc/settings
    50 
    51   ISABELLE_GNUPLOT=".../src/gnuplot"