This is unfortunately unanswered after 2+ months.
I fear you may have read this request as “user has some weird configuration and it’s too hard to work out so let’s deprioritize it”
So I went to open an issue at GitHub since the following is, in my opinion, at minimum confirmed documentation bugs and I have minimal reproducible steps below. But GitHub issues referred to the forum instead. So these bugs should not be filed?
The following should be clear I hope:
This simple file:
Causes this result:
Bug report(s) (2):
- jdk_switcher use
Expected result: jdk_switcher works as documented.
Result: jdk_switcher: command not found
jdk_switcher is documented here:
For the same example:
- java -version
Expected result: Java version is 8
Result: Java version is 11
The following page states that openjdk8 shall be the default on Xenial (and this is also what it is usual in any unmodified Ubuntu 16.04 system), so even the jdk: key should not be necessary here.
Note: The environment mentions leiningen using java version 11 but this might just be a secondary effect of the wrong java version being installed by default?