Allow user to set JDK release

[quintesse]

Fixes #1224

[codecov]

Codecov Report

Merging #1225 (38110e2) into main (d683e0a) will increase coverage by 0.02%.
The diff coverage is 71.42%.

@@             Coverage Diff              @@
##               main    #1225      +/-   ##
============================================
+ Coverage     58.82%   58.84%   +0.02%     
- Complexity     1057     1058       +1     
============================================
  Files            86       86              
  Lines          5661     5679      +18     
  Branches        954      956       +2     
============================================
+ Hits           3330     3342      +12     
- Misses         1839     1843       +4     
- Partials        492      494       +2     

Flag	Coverage Δ
Linux	57.70% <71.42%> (+0.02%)	⬆️
Windows	57.61% <71.42%> (+0.02%)	⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

Impacted Files	Coverage Δ
src/main/java/dev/jbang/util/Util.java	60.59% <66.66%> (+0.16%)	⬆️
src/main/java/dev/jbang/net/JdkManager.java	57.59% <83.33%> (+0.17%)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 3adca1b...38110e2. Read the comment docs.

[maxandersen]

How is This to be used ? Couldnt find a test ?

[quintesse]

Well this is the same as JBANG_JDK_VENDOR, so there is no test, because it would mean testing the download of very specific JDKs which is very time dependent (so right now you can only download a Java 18 EA, but perhaps in a months time it is in GA and trying to get the EA version would fail).

But the way you use it is like this: JBANG_JDK_RELEASE=ea jbang install jdk 18.

Btw, the JBANG_JDK_VENDOR isn't actually documented anywhere, we should probably remedy that and at least explain what they do. They are very specific options though that should only be used by people that really know what they're doing. (In this case I really wanted to install Java 18 EA).

[maxandersen]

It would be nice //JAVA support something like [vendor:][release]:17[.prefix] in future instead of 3 different JBANG_* env vars...but I like this as a start. Will probably mark these env vars experimental.

[maxandersen]

@quintesse can you rebase it ? conflicted with the cygwin fix.

[maxandersen]

a shame this does not work but that's a disco API issue:

JBANG_JDK_VENDOR=oracle JBANG_JDK_RELEASE=ea-loom jbang --java 18

:)

[quintesse]

It would be nice //JAVA support something like [vendor:][release]:17[.prefix]

True, but that would probably introduce a bunch of issues that I definitely didn't want to deal with right now hehe

a shame this does not work

Yeah, that would indeed be cool :-)

[quintesse]

Rebase done