aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-07-26 10:17:01 +0200
committerChristian Grothoff <christian@grothoff.org>2019-07-26 10:17:01 +0200
commit059ec8c9b2dbc6cff769a070b94529e06212335f (patch)
tree394113732e717827f77c49adddc92d5d7fa5e49d
parent9a38350ae5d69c8bd187fb84903a57b32051b83b (diff)
downloadwww-059ec8c9b2dbc6cff769a070b94529e06212335f.tar.gz
www-059ec8c9b2dbc6cff769a070b94529e06212335f.zip
clarify GNUNET_PREFIX
-rw-r--r--template/install-on-debian9.html.j21
1 files changed, 1 insertions, 0 deletions
diff --git a/template/install-on-debian9.html.j2 b/template/install-on-debian9.html.j2
index 9641964b..338fa925 100644
--- a/template/install-on-debian9.html.j2
+++ b/template/install-on-debian9.html.j2
@@ -105,6 +105,7 @@
105 <code> 105 <code>
106 $ cd ~/gnunet_installation/gnunet<br> 106 $ cd ~/gnunet_installation/gnunet<br>
107 $ ./bootstrap<br> 107 $ ./bootstrap<br>
108 $ export GNUNET_PREFIX=/usr/local # for example, other locations possible
108 $ ./configure --prefix=$GNUNET_PREFIX --disable-documentation --with-microhttpd=/opt/libmicrohttpd<br> 109 $ ./configure --prefix=$GNUNET_PREFIX --disable-documentation --with-microhttpd=/opt/libmicrohttpd<br>
109 $ sudo addgroup gnunetdns<br> 110 $ sudo addgroup gnunetdns<br>
110 $ sudo adduser --system --group --disabled-login --home /var/lib/gnunet gnunet<br> 111 $ sudo adduser --system --group --disabled-login --home /var/lib/gnunet gnunet<br>