diff --git a/config.sh b/config.sh index c27a84b..6050305 100644 --- a/config.sh +++ b/config.sh @@ -1,6 +1,25 @@ #If you need to use a different JVM, JDK, or other utility from #build.sh, set it in this file, for example: +#PATH="$PATH:/c/Program Files/Java/jdk-17.0.3/bin/" +#JAVA_HOME="/c/Program Files/Java/jdk-17.0.3" +#to use it for Oracle OpenJDK17 + +#Other potential values: #PATH="$PATH:/c/Program Files/OpenJDK/jdk-17.0.3/bin/" -#JAVA_HOME="/c/Program Files\OpenJDK\jdk-17.0.3" -#to use it for Oracle OpenJDK17 \ No newline at end of file +#JAVA_HOME="/c/Program Files/OpenJDK/jdk-17.0.3" +#PATH="$PATH:/c/Program Files/Java/jdk-18.0.1/bin/" +#JAVA_HOME="/c/Program Files/Java/jdk-18.0.1" +#PATH="$PATH:/c/Program Files/Eclipse Adoptium/jdk-17.0.3/bin/" +#JAVA_HOME="/c/Program Files/Eclipse Adoptium/jdk-17.0.3" +#Which will determine, of course, which java compilers you use and where +#your JAVA_HOME(and thus your bootclasspath jars and stuff) come from. +#So for you reddit nerds who are all into graalVM or whatever, this might +#be where you go to mess with that. + +## Until 1.7.4, releases were built using Eclipse Adoptium OpenJDK +# but it lags behind a day or two in security updates which did become +# a major issue in April 2022. At this point it was migrated to Oracle's +# JDK distribution which was more up to date. Should you prefer, or simply +# wish to experiment with a different JVM, copy this file to `config_overrides.sh` +# and add your JAVA_HOME and $PATH changes.