diff options
author | Martin Schanzenbach <mschanzenbach@posteo.de> | 2020-05-15 11:02:36 +0200 |
---|---|---|
committer | Martin Schanzenbach <mschanzenbach@posteo.de> | 2020-05-15 11:02:36 +0200 |
commit | 44713be5afd47374a1b279a61d61e3514d5e2b83 (patch) | |
tree | 31199d95fd9a0587c48978685601031c5abe8579 | |
parent | 02b4c3da9b9188eb6170c30657f47fb47975dc43 (diff) |
minor improvements
-rw-r--r-- | template/install.html.j2 | 18 |
1 files changed, 13 insertions, 5 deletions
diff --git a/template/install.html.j2 b/template/install.html.j2 index d8db15c3..b5b10f8b 100644 --- a/template/install.html.j2 +++ b/template/install.html.j2 @@ -77,13 +77,21 @@ If you have any queries about the installation or the usage, please <a href="eng </div> <p> {% trans %} + Alternatively, get the sources from git by entering: + {% endtrans %} + </p> + <code class="block"> + $ git clone https://gnunet.org/git/gnunet.git + </code> + <p> + {% trans %} To compile GNUnet, execute: {% endtrans %} </p> <code class="block"> $ export GNUNET_PREFIX=/usr/local/lib # or other directory of your choice<br> - # addgroup gnunetdns <br> - # adduser --system --home "/var/lib/gnunet" --group gnunet --shell /bin/sh<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> $ make @@ -91,12 +99,12 @@ If you have any queries about the installation or the usage, please <a href="eng <p> {% trans %} You can find more configuration flags in the - <a href="https://git.gnunet.org/gnunet.git/tree/README">README</a>. - And finally install GNUnet with: + <a href="https://git.gnunet.org/gnunet.git/tree/README">README</a>.<br> + Install GNUnet with: {% endtrans %} </p> <code class="block"> - # make install + $ (sudo) make install # you only need sudo if your GNUNET_PREFIX is not writeable by your user </code> <p> {% trans %} |