diff options
| author | Martin Schanzenbach <mschanzenbach@posteo.de> | 2020-05-15 11:13:42 +0200 |
|---|---|---|
| committer | Martin Schanzenbach <mschanzenbach@posteo.de> | 2020-05-15 11:13:42 +0200 |
| commit | 368ccc6fbc0d57a21f5a5b5f5554c18bd811b288 (patch) | |
| tree | 1ff4369b7c4be26e621b3dfc7fb6e97701b3449f | |
| parent | 44713be5afd47374a1b279a61d61e3514d5e2b83 (diff) | |
fix prefix
| -rw-r--r-- | template/install.html.j2 | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/template/install.html.j2 b/template/install.html.j2 index b5b10f8b..fa0303ac 100644 --- a/template/install.html.j2 +++ b/template/install.html.j2 @@ -62,7 +62,7 @@ If you have any queries about the installation or the usage, please <a href="eng {% trans %} Now, you need to decide if you want to install GNUnet from the release tarball or from git. If you want to use GNUnet and there is no binary - package available for you OS, you should stick with the release tarball. + package available for your OS, you should stick with the release tarball. If you want to develop using the most recent build, you should go with the <a href="https://git.gnunet.org/">git repository</a>. {% endtrans %} @@ -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/lib # or other directory of your choice<br> + $ export GNUNET_PREFIX=/usr/local # 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> |