changeset 58640 | 37f852399a32 |
parent 58413 | 22dd971f6938 |
child 58791 | 00916b0dd596 |
--- 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