author | wenzelm |
Sat, 20 Jun 2015 16:08:47 +0200 | |
changeset 60531 | 9cc91b8a6489 |
parent 60530 | 44f9873d6f6f |
child 60532 | 7fb5b7dc8332 |
--- a/lib/scripts/getsettings Sat Jun 20 15:45:02 2015 +0200 +++ b/lib/scripts/getsettings Sat Jun 20 16:08:47 2015 +0200 @@ -33,7 +33,7 @@ fi if [ -z "$USER_HOME" ]; then - USER_HOME="$(cygpath -u "$HOMEDRIVE\\$HOMEPATH")" + USER_HOME="$(cygpath -u "$USERPROFILE")" fi function jvmpath() { cygpath -i -C UTF8 -w -p "$@"; }