diff options
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 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: |