diff -r 1df53737c59b -r 37f852399a32 lib/scripts/getsettings --- a/lib/scripts/getsettings Thu Oct 09 11:15:03 2014 +0200 +++ b/lib/scripts/getsettings Thu Oct 09 13:56:27 2014 +0200 @@ -26,6 +26,12 @@ then unset INI_DIR + if [ -n "$TEMP_WINDOWS" ]; then + TMPDIR="$(cygpath -u "$TEMP_WINDOWS")" + TMP="$TMPDIR" + TEMP="$TMPDIR" + fi + if [ -z "$USER_HOME" ]; then USER_HOME="$(cygpath -u "$HOMEDRIVE\\$HOMEPATH")" fi