diff options
author | Christian Grothoff <christian@grothoff.org> | 2019-05-02 08:46:06 +0200 |
---|---|---|
committer | Christian Grothoff <christian@grothoff.org> | 2019-05-02 08:46:06 +0200 |
commit | 8dde46a0133e95c9fa2ba0b525b5d1ebbc75ccec (patch) | |
tree | ce5ad4e4a39083a7f5a54a2846143783280ec60e /src/arm/arm.conf.in | |
parent | 2ec26a350c73074cf2d00fc6b31ee17c59d44d26 (diff) | |
download | gnunet-8dde46a0133e95c9fa2ba0b525b5d1ebbc75ccec.tar.gz gnunet-8dde46a0133e95c9fa2ba0b525b5d1ebbc75ccec.zip |
docu option
Diffstat (limited to 'src/arm/arm.conf.in')
-rw-r--r-- | src/arm/arm.conf.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/arm/arm.conf.in b/src/arm/arm.conf.in index f63a1e755..383d578d5 100644 --- a/src/arm/arm.conf.in +++ b/src/arm/arm.conf.in | |||
@@ -18,6 +18,8 @@ UNIX_MATCH_GID = YES | |||
18 | # GLOBAL_POSTFIX = -l $GNUNET_CACHE_HOME/{}-%Y-%m-%d.log | 18 | # GLOBAL_POSTFIX = -l $GNUNET_CACHE_HOME/{}-%Y-%m-%d.log |
19 | GLOBAL_PREFIX = | 19 | GLOBAL_PREFIX = |
20 | 20 | ||
21 | # By default, when launching GNUnet via gnunet-arm, log | ||
22 | # everything to a simple flat log file. | ||
21 | OPTIONS = -l $GNUNET_CACHE_HOME/gnunet-%Y-%m-%d.log | 23 | OPTIONS = -l $GNUNET_CACHE_HOME/gnunet-%Y-%m-%d.log |
22 | 24 | ||
23 | # If set to YES, ARM will only start services that are marked as | 25 | # If set to YES, ARM will only start services that are marked as |