summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Schanzenbach <mschanzenbach@posteo.de>2020-05-15 11:02:36 +0200
committerMartin Schanzenbach <mschanzenbach@posteo.de>2020-05-15 11:02:36 +0200
commit44713be5afd47374a1b279a61d61e3514d5e2b83 (patch)
tree31199d95fd9a0587c48978685601031c5abe8579
parent02b4c3da9b9188eb6170c30657f47fb47975dc43 (diff)
minor improvements
-rw-r--r--template/install.html.j218
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 %}