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