more paranoia settings, e.g. relevant for Ubuntu 15.04;
authorwenzelm
Fri Apr 24 23:05:33 2015 +0200 (2015-04-24)
changeset 6020002fd729f2883
parent 60199 a06f69f0de46
child 60201 90e88e521e0e
more paranoia settings, e.g. relevant for Ubuntu 15.04;
etc/settings
     1.1 --- a/etc/settings	Fri Apr 24 22:30:56 2015 +0200
     1.2 +++ b/etc/settings	Fri Apr 24 23:05:33 2015 +0200
     1.3 @@ -18,7 +18,11 @@
     1.4  
     1.5  classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
     1.6  
     1.7 -#paranoia setting -- avoid problems of Java/Swing versus XIM/IBus etc.
     1.8 +#paranoia settings -- avoid intrusion of alien options
     1.9 +unset "_JAVA_OPTIONS"
    1.10 +unset "JAVA_TOOL_OPTIONS"
    1.11 +
    1.12 +#paranoia settings -- avoid problems of Java/Swing versus XIM/IBus etc.
    1.13  unset XMODIFIERS
    1.14  
    1.15