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 | |
| parent | 2ec26a350c73074cf2d00fc6b31ee17c59d44d26 (diff) | |
| download | gnunet-8dde46a0133e95c9fa2ba0b525b5d1ebbc75ccec.tar.gz gnunet-8dde46a0133e95c9fa2ba0b525b5d1ebbc75ccec.zip | |
docu option
| -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 |