diff options
author | Christian Grothoff <christian@grothoff.org> | 2019-08-20 16:43:15 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2019-08-20 16:43:15 +0200 |
commit | da8e86b40c419b679a16bc1befec9e6f46409ef2 (patch) | |
tree | 70084f9ea6c36f6b8ea7c18e90bcb10d3ed0a76f | |
parent | 131a0636b7066a8b8b85938c47ceac9e720bb630 (diff) | |
download | www-da8e86b40c419b679a16bc1befec9e6f46409ef2.tar.gz www-da8e86b40c419b679a16bc1befec9e6f46409ef2.zip |
applying fix from Marcos
-rw-r--r-- | template/install-on-ubuntu1804.html.j2 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/template/install-on-ubuntu1804.html.j2 b/template/install-on-ubuntu1804.html.j2 index 199bd1ed..6d5ac3b7 100644 --- a/template/install-on-ubuntu1804.html.j2 +++ b/template/install-on-ubuntu1804.html.j2 | |||
@@ -70,6 +70,7 @@ | |||
70 | <h3>{{ _("Option 1: GNUnet for testing / usage") }}</h3> | 70 | <h3>{{ _("Option 1: GNUnet for testing / usage") }}</h3> |
71 | <code> | 71 | <code> |
72 | $ cd ~/gnunet_installation/gnunet<br> | 72 | $ cd ~/gnunet_installation/gnunet<br> |
73 | $ export GNUNET_PREFIX=/usr/local # for example, other locations possible<br> | ||
73 | $ ./bootstrap<br> | 74 | $ ./bootstrap<br> |
74 | $ ./configure --prefix=$GNUNET_PREFIX --disable-documentation --with-microhttpd=/opt/libmicrohttpd<br> | 75 | $ ./configure --prefix=$GNUNET_PREFIX --disable-documentation --with-microhttpd=/opt/libmicrohttpd<br> |
75 | $ sudo addgroup gnunetdns<br> | 76 | $ sudo addgroup gnunetdns<br> |