less ambitious USER_HOME on Windows: avoid potentially disconnected share, agree with guess of JVM user.home;
authorwenzelm
Sat, 20 Jun 2015 16:08:47 +0200
changeset 60531 9cc91b8a6489
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
--- 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 "$@"; }