retain ISABELLE_HOME_WINDOWS which is useful for jEdit to fold file names symbolically, but without DOS expansion that causes problems with Cygwin/Posix roundtrip (cf. 5a7903ba2dac);
authorwenzelm
Tue Apr 17 23:24:46 2012 +0200 (2012-04-17)
changeset 475259c8a1b9c0630
parent 47524 f80c6d492763
child 47526 832ca5c3f1b1
retain ISABELLE_HOME_WINDOWS which is useful for jEdit to fold file names symbolically, but without DOS expansion that causes problems with Cygwin/Posix roundtrip (cf. 5a7903ba2dac);
lib/scripts/getsettings
     1.1 --- a/lib/scripts/getsettings	Tue Apr 17 22:26:36 2012 +0200
     1.2 +++ b/lib/scripts/getsettings	Tue Apr 17 23:24:46 2012 +0200
     1.3 @@ -14,7 +14,7 @@
     1.4  #JVM path wrapper
     1.5  if [ "$OSTYPE" = cygwin ]
     1.6  then
     1.7 -  ISABELLE_HOME_WINDOWS="$(cygpath -d "$(dirname "$ISABELLE_HOME")")\\$(basename "$ISABELLE_HOME")"
     1.8 +  ISABELLE_HOME_WINDOWS="$(cygpath -w "$(dirname "$ISABELLE_HOME")")\\$(basename "$ISABELLE_HOME")"
     1.9    ISABELLE_HOME="$(cygpath -u "$ISABELLE_HOME_WINDOWS")"
    1.10  
    1.11    CLASSPATH="$(cygpath -i -u -p "$CLASSPATH")"