Support Jetty in sdkman

[gregw]

Jetty version(s) all

Enhancement Description

implement jetty installation via sdkman

[joakime]

Got a link to what this means?

[joakime]

https://sdkman.io/

[gregw]

Typically sdkman is used to install SDKs like the JVM, but tomcat has been provided as a candidate (see below). I have asked on stackoverflow if this is a thing that we should support, but no answers yet.

================================================================================
Available Tomcat Versions
================================================================================
     11.0.0-M12          9.0.75              8.5.73                             
     10.1.14             9.0.74              8.5.60                             
     10.1.12             9.0.73              7.0.109                            
     10.1.11             9.0.72              7.0.106                            
     10.1.10             9.0.65                                                 
     10.1.9              9.0.56                                                 
     10.1.8              9.0.40                                                 
     10.1.7              8.5.94                                                 
     10.1.6              8.5.92                                                 
     10.0.22             8.5.91                                                 
     10.0.14             8.5.90                                                 
     9.0.81              8.5.89                                                 
     9.0.79              8.5.88                                                 
     9.0.78              8.5.87                                                 
     9.0.76              8.5.86                                                 

================================================================================
+ - local version
* - installed
> - currently in use
================================================================================

[olamy]

sounds good idea. I'm using sdkman for years now as it is very convenient to manage jdk, maven etc,, Not sure if this will be used a lot for Jetty but at least we can take this as some marketing :) I'm happy to have a look.

[olamy]

PR created here https://github.com/sdkman/sdkman-db-migrations/pull/694. Only for last 10.0.x/11.0.x/12.0.x

[olamy]

Confirmed as working.

olamy@pop-os:~/dev/sources/jetty/sdkman-db-migrations$ sdk update

Adding new candidates(s): jetty

Removing obsolete candidates(s): ktlint

Please open a new terminal now...

olamy@pop-os:~/dev/sources/jetty/sdkman-db-migrations$ sdk install jetty 12.0.9 

Downloading: jetty 12.0.9

In progress...

###################################################################################################################################################################### 100.0%

Installing: jetty 12.0.9
Done installing!


Setting jetty 12.0.9 as default.
olamy@pop-os:~/dev/sources/jetty/sdkman-db-migrations$ jetty.sh 
Usage: jetty.sh [-d] {start|stop|run|restart|check|supervise} [ CONFIGS ... ]