diff options
| author | Nils Gillmann <ng0@n0.is> | 2018-05-05 19:53:53 +0000 |
|---|---|---|
| committer | Nils Gillmann <ng0@n0.is> | 2018-05-05 19:53:53 +0000 |
| commit | 5f627ce1a78f662d928fa6c73a90342d8bff5cf3 (patch) | |
| tree | 04f3b9c2c551a8c5a361176f89228ca62725c397 /doc/man/gnunet.conf.5 | |
| parent | b2f4928cce63e2361c2018ca917d9b5370e503b3 (diff) | |
man: gnunet.conf.5: Document GNUNET_TMP
Signed-off-by: Nils Gillmann <ng0@n0.is>
Diffstat (limited to 'doc/man/gnunet.conf.5')
| -rw-r--r-- | doc/man/gnunet.conf.5 | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/doc/man/gnunet.conf.5 b/doc/man/gnunet.conf.5 index 57e3d80d80..7079645793 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: |