diff options
| author | Christian Grothoff <christian@grothoff.org> | 2011-11-03 13:19:52 +0000 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2011-11-03 13:19:52 +0000 |
| commit | 29c724d2a7764f83fe846b418d09540348b86983 (patch) | |
| tree | dafaff8e37ba51355b22b6f38d856ae49e145006 /src/util/util.conf | |
| parent | b303961f38c9b578f30248ee364ed4e5ffdcd06c (diff) | |
| download | gnunet-29c724d2a7764f83fe846b418d09540348b86983.tar.gz gnunet-29c724d2a7764f83fe846b418d09540348b86983.zip | |
implementing #1747
Diffstat (limited to 'src/util/util.conf')
| -rw-r--r-- | src/util/util.conf | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/src/util/util.conf b/src/util/util.conf new file mode 100644 index 000000000..ba9dfec70 --- /dev/null +++ b/src/util/util.conf | |||
| @@ -0,0 +1,16 @@ | |||
| 1 | [PATHS] | ||
| 2 | SERVICEHOME = ~/.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, | ||
| 7 | # which is what we want by default... | ||
| 8 | |||
| 9 | [gnunetd] | ||
| 10 | HOSTKEY = $SERVICEHOME/.hostkey | ||
| 11 | |||
| 12 | [client] | ||
| 13 | HOME = $SERVICEHOME | ||
| 14 | |||
| 15 | [TESTING] | ||
| 16 | WEAKRANDOM = NO | ||