diff options
| author | Bruno Cabral <bcabral@uw.edu> | 2013-11-17 23:00:52 +0000 |
|---|---|---|
| committer | Bruno Cabral <bcabral@uw.edu> | 2013-11-17 23:00:52 +0000 |
| commit | b205514cf813d9024ff2080f6b531831a0154f41 (patch) | |
| tree | 40f9edc920a7097de135242a3739a937114588b3 /src/util/util.conf | |
| parent | 86dab6411220fcb8789e6cb02c7909f65dc81641 (diff) | |
| download | gnunet-b205514cf813d9024ff2080f6b531831a0154f41.tar.gz gnunet-b205514cf813d9024ff2080f6b531831a0154f41.zip | |
Add a third default.
$HOME is not set on W32, and it refuses to work without it.
Diffstat (limited to 'src/util/util.conf')
| -rw-r--r-- | src/util/util.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/util/util.conf b/src/util/util.conf index 15d806abf..cdc4d3d67 100644 --- a/src/util/util.conf +++ b/src/util/util.conf | |||
| @@ -8,7 +8,7 @@ | |||
| 8 | # We usually want $HOME for $GNUNET_HOME, but we allow testcases to | 8 | # We usually want $HOME for $GNUNET_HOME, but we allow testcases to |
| 9 | # easily override this by setting $GNUNET_TEST_HOME. | 9 | # easily override this by setting $GNUNET_TEST_HOME. |
| 10 | # | 10 | # |
| 11 | GNUNET_HOME = ${GNUNET_TEST_HOME:-$HOME} | 11 | GNUNET_HOME = ${GNUNET_TEST_HOME:-${HOME:-${USERPROFILE}}} |
| 12 | 12 | ||
| 13 | # see XDG Base Directory Specification at | 13 | # see XDG Base Directory Specification at |
| 14 | # http://standards.freedesktop.org/basedir-spec/basedir-spec-latest.html | 14 | # http://standards.freedesktop.org/basedir-spec/basedir-spec-latest.html |