[GNUnet-SVN] [gnunet] branch master updated: man: gnunet.conf.5: Document GNUNET_TMP

[gnunet]

This is an automated email from the git hooks/post-receive script.

ng0 pushed a commit to branch master
in repository gnunet.

The following commit(s) were added to refs/heads/master by this push:
     new 5f627ce1a man: gnunet.conf.5: Document GNUNET_TMP
5f627ce1a is described below

commit 5f627ce1a78f662d928fa6c73a90342d8bff5cf3
Author: Nils Gillmann <address@hidden>
AuthorDate: Sat May 5 19:53:53 2018 +0000

    man: gnunet.conf.5: Document GNUNET_TMP
    
    Signed-off-by: Nils Gillmann <address@hidden>
---
 doc/man/gnunet.conf.5 | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/doc/man/gnunet.conf.5 b/doc/man/gnunet.conf.5
index 57e3d80d8..707964579 100644
--- a/doc/man/gnunet.conf.5
+++ b/doc/man/gnunet.conf.5
@@ -1,4 +1,4 @@
-.TH GNUNET.CONF "5" "12 Aug 2013" "GNUnet"
+.TH GNUNET.CONF "5" "05 May 2018" "GNUnet"
 .SH NAME
 gnunet.conf \- GNUnet configuration file
 .SH SYNOPSIS
@@ -40,6 +40,12 @@ will be replaced with the respective value at runtime.  The 
main use of
 this is to redefine "$GNUNET_HOME", which by default points to 
"$HOME/.config/".
 By setting this variable, you can change the location where GNUnet stores
 its internal data.
+gnunet.conf accepts the variable "GNUNET_TMP" which we suggest to use in
+place of the absolute definition of "/tmp".
+So instead of "/tmp/foo" you would write "$GNUNET_TMP/foo".
+ The usage of "$GNUNET_TMP/foo", will result in "$TMPDIR/gnunet/foo", or
+ "$TMP/gnunet/foo" and finally, if "TMPDIR" is undefined, "/tmp/gnunet/foo".
+
 .PP
 
 The following options are generic and shared by all services:

-- 
To stop receiving notification emails like this one, please contact
address@hidden