From 8dde46a0133e95c9fa2ba0b525b5d1ebbc75ccec Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Thu, 2 May 2019 08:46:06 +0200
Subject: [PATCH] docu option

---
 src/arm/arm.conf.in | 2 ++
 1 file changed, 2 insertions(+)

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
 # GLOBAL_POSTFIX = -l $GNUNET_CACHE_HOME/{}-%Y-%m-%d.log
 GLOBAL_PREFIX =
 
+# By default, when launching GNUnet via gnunet-arm, log
+# everything to a simple flat log file.
 OPTIONS = -l $GNUNET_CACHE_HOME/gnunet-%Y-%m-%d.log
 
 # If set to YES, ARM will only start services that are marked as
-- 
2.25.1