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