summaryrefslogtreecommitdiff
path: root/doc/man
diff options
context:
space:
mode:
authorNils Gillmann <ng0@n0.is>2018-05-05 19:53:53 +0000
committerNils Gillmann <ng0@n0.is>2018-05-05 19:53:53 +0000
commit5f627ce1a78f662d928fa6c73a90342d8bff5cf3 (patch)
tree04f3b9c2c551a8c5a361176f89228ca62725c397 /doc/man
parentb2f4928cce63e2361c2018ca917d9b5370e503b3 (diff)
man: gnunet.conf.5: Document GNUNET_TMP
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to 'doc/man')
-rw-r--r--doc/man/gnunet.conf.58
1 files changed, 7 insertions, 1 deletions
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: