diff options
author | Christian Grothoff <christian@grothoff.org> | 2019-07-26 10:17:01 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2019-07-26 10:17:01 +0200 |
commit | 059ec8c9b2dbc6cff769a070b94529e06212335f (patch) | |
tree | 394113732e717827f77c49adddc92d5d7fa5e49d | |
parent | 9a38350ae5d69c8bd187fb84903a57b32051b83b (diff) | |
download | www-059ec8c9b2dbc6cff769a070b94529e06212335f.tar.gz www-059ec8c9b2dbc6cff769a070b94529e06212335f.zip |
clarify GNUNET_PREFIX
-rw-r--r-- | template/install-on-debian9.html.j2 | 1 |
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> |