diff options
author | Martin Schanzenbach <mschanzenbach@posteo.de> | 2020-05-15 11:16:53 +0200 |
---|---|---|
committer | Martin Schanzenbach <mschanzenbach@posteo.de> | 2020-05-15 11:16:53 +0200 |
commit | 091ff7864c218c1756b7d70b7d10ca68b5679528 (patch) | |
tree | 6f6825e356a372585f5193d39fc123665b370edb | |
parent | bdb047e0e0477e4e60d7915f9e26798c7b89d174 (diff) |
actually fix prefix
-rw-r--r-- | template/install.html.j2 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/template/install.html.j2 b/template/install.html.j2 index 437c3a9e..b1494ca4 100644 --- a/template/install.html.j2 +++ b/template/install.html.j2 @@ -89,11 +89,11 @@ If you have any queries about the installation or the usage, please <a href="eng {% endtrans %} </p> <code class="block"> - $ export GNUNET_PREFIX=/usr/local # or other directory of your choice<br> + $ export GNUNET_PREFIX=/usr/local/lib # or other directory of your choice<br> $ sudo addgroup gnunetdns <br> $ sudo adduser --system --home "/var/lib/gnunet" --group gnunet --shell /bin/sh<br> $ ./bootstrap # only if you install from git <br> - $ ./configure --prefix=$GNUNET_PREFIX <br> + $ ./configure --prefix=$GNUNET_PREFIX/.. <br> $ make </code> <p> |