Java Preloader script. Invoke using jpre <version>
to set the JAVA_HOME
variable in your shell
to a specific Java version, as specified in ~/.config/jpre/config.ini
.
config.ini
is an unprovided file. The format is simple, just add lines of the form
<java version>=<path to java home>
, e.g. 8=/usr/lib/jvm/openjdk-8
.
To include the jpre
command in your shell session, you must source the _java_preloader.sh
script.