From b205514cf813d9024ff2080f6b531831a0154f41 Mon Sep 17 00:00:00 2001 From: Bruno Cabral Date: Sun, 17 Nov 2013 23:00:52 +0000 Subject: [PATCH] Add a third default. $HOME is not set on W32, and it refuses to work without it. --- src/util/util.conf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 @@ # We usually want $HOME for $GNUNET_HOME, but we allow testcases to # easily override this by setting $GNUNET_TEST_HOME. # -GNUNET_HOME = ${GNUNET_TEST_HOME:-$HOME} +GNUNET_HOME = ${GNUNET_TEST_HOME:-${HOME:-${USERPROFILE}}} # see XDG Base Directory Specification at # http://standards.freedesktop.org/basedir-spec/basedir-spec-latest.html -- 2.25.1