less ambitious USER_HOME on Windows: avoid potentially disconnected share, agree with guess of JVM user.home;
authorwenzelm
Sat Jun 20 16:08:47 2015 +0200 (2015-06-20)
changeset 605319cc91b8a6489
parent 60530 44f9873d6f6f
child 60532 7fb5b7dc8332
less ambitious USER_HOME on Windows: avoid potentially disconnected share, agree with guess of JVM user.home;
lib/scripts/getsettings
     1.1 --- a/lib/scripts/getsettings	Sat Jun 20 15:45:02 2015 +0200
     1.2 +++ b/lib/scripts/getsettings	Sat Jun 20 16:08:47 2015 +0200
     1.3 @@ -33,7 +33,7 @@
     1.4    fi
     1.5  
     1.6    if [ -z "$USER_HOME" ]; then
     1.7 -    USER_HOME="$(cygpath -u "$HOMEDRIVE\\$HOMEPATH")"
     1.8 +    USER_HOME="$(cygpath -u "$USERPROFILE")"
     1.9    fi
    1.10  
    1.11    function jvmpath() { cygpath -i -C UTF8 -w -p "$@"; }