diff options
| author | Christian Grothoff <christian@grothoff.org> | 2012-10-09 18:38:01 +0000 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2012-10-09 18:38:01 +0000 |
| commit | b581097addc91044432dcb54ce7cff26b9e12de1 (patch) | |
| tree | dafeebf08b90707d2cbfb6f5ab75c361ba298d6e /src/util/util.conf | |
| parent | 81dcb0a35beb7c862ac6f2677933b978aab67038 (diff) | |
| download | gnunet-b581097addc91044432dcb54ce7cff26b9e12de1.tar.gz gnunet-b581097addc91044432dcb54ce7cff26b9e12de1.zip | |
-getting rid of silly, stupid, useless, often wrong DEFAULTCONFIG setting
Diffstat (limited to 'src/util/util.conf')
| -rw-r--r-- | src/util/util.conf | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/util/util.conf b/src/util/util.conf index f3d301e48..1390a866a 100644 --- a/src/util/util.conf +++ b/src/util/util.conf | |||
| @@ -1,8 +1,6 @@ | |||
| 1 | [PATHS] | 1 | [PATHS] |
| 2 | SERVICEHOME = ~/.gnunet/ | 2 | SERVICEHOME = ~/.gnunet/ |
| 3 | # SERVICEHOME = /var/lib/gnunet/ | 3 | # SERVICEHOME = /var/lib/gnunet/ |
| 4 | # DEFAULTCONFIG = /etc/gnunet.conf | ||
| 5 | # If 'DEFAULTCONFIG' is not defined, the current | ||
| 6 | # configuration file is assumed to be the default, | 4 | # configuration file is assumed to be the default, |
| 7 | # which is what we want by default... | 5 | # which is what we want by default... |
| 8 | 6 | ||