From 6417e8124fec30f0e0d744005c54d88f4cc20965 Mon Sep 17 00:00:00 2001 From: Marcos Marado Date: Mon, 19 Aug 2019 23:42:14 +0100 Subject: [PATCH] minor fix on instalation instructions Three of the instalation guides were missing a line break in a list of commands. Furthermore, the Ubuntu guide, in one set of instructions, was using an env variable without defining it. --- template/install-on-archpi.html.j2 | 2 +- template/install-on-debian9.html.j2 | 4 ++-- template/install-on-ubuntu1804.html.j2 | 3 ++- 3 files changed, 5 insertions(+), 4 deletions(-) diff --git a/template/install-on-archpi.html.j2 b/template/install-on-archpi.html.j2 index 1ef61eb..dd205da 100644 --- a/template/install-on-archpi.html.j2 +++ b/template/install-on-archpi.html.j2 @@ -50,7 +50,7 @@

> cd gnunet
- > export GNUNET_PREFIX=/usr # for example, other locations possible + > export GNUNET_PREFIX=/usr # for example, other locations possible
> ./bootstrap # Run this to generate the configure files.
> ./configure --prefix=$GNUNET_PREFIX --disable-documentation # Use --help to see the various flags available to you.
> make -j$(nproc || echo -n 1)
diff --git a/template/install-on-debian9.html.j2 b/template/install-on-debian9.html.j2 index 808e2c3..f966098 100644 --- a/template/install-on-debian9.html.j2 +++ b/template/install-on-debian9.html.j2 @@ -105,7 +105,7 @@ $ cd ~/gnunet_installation/gnunet
$ ./bootstrap
- $ export GNUNET_PREFIX=/usr/local # for example, other locations possible + $ export GNUNET_PREFIX=/usr/local # for example, other locations possible
$ ./configure --prefix=$GNUNET_PREFIX --disable-documentation --with-microhttpd=/opt/libmicrohttpd
$ sudo addgroup gnunet
$ sudo usermod -aG gnunet $USER @@ -118,7 +118,7 @@ $ cd ~/gnunet_installation/gnunet
$ ./bootstrap
- $ export GNUNET_PREFIX=/usr/local # for example, other locations possible + $ export GNUNET_PREFIX=/usr/local # for example, other locations possible
$ export CFLAGS="-g -Wall -O0"
$ ./configure --prefix=$GNUNET_PREFIX --disable-documentation --enable-logging=verbose --with-microhttpd=/opt/libmicrohttpd
$ sudo addgroup gnunet
diff --git a/template/install-on-ubuntu1804.html.j2 b/template/install-on-ubuntu1804.html.j2 index 157183d..1c7750b 100644 --- a/template/install-on-ubuntu1804.html.j2 +++ b/template/install-on-ubuntu1804.html.j2 @@ -71,6 +71,7 @@ $ cd ~/gnunet_installation/gnunet
$ ./bootstrap
+ $ export GNUNET_PREFIX=/usr/local # for example, other locations possible
$ ./configure --prefix=$GNUNET_PREFIX --disable-documentation --with-microhttpd=/opt/libmicrohttpd
$ sudo addgroup gnunetdns
$ sudo adduser --system --group --disabled-login --home /var/lib/gnunet gnunet
@@ -83,7 +84,7 @@ $ cd ~/gnunet_installation/gnunet
$ ./bootstrap
- $ export GNUNET_PREFIX=/usr/local # for example, other locations possible + $ export GNUNET_PREFIX=/usr/local # for example, other locations possible
$ export CFLAGS="-g -Wall -O0"
$ ./configure --prefix=$GNUNET_PREFIX --disable-documentation --enable-logging=verbose
$ sudo addgroup gnunet
-- 2.20.1