Closed tchinchow closed 1 year ago
This setting is consumed by the extension redhat.java
.
I'll try to repro it when I have time. At the meantime, could you please check if you have defined java.configuration.runtimes
in somewhere else? This setting's scope is machine-overidable
, according to VS Code document, it can be overridden by workspace or folder settings.
Thanx @jdneo for your time and help.
According to what I see in the vscode settings dialog (inside the container), the java.configuration.runtimes
setting is
devcontainer.json specification
but actually seems to change when other containers modify them internally as well)I have created the issue report / call for help ;) in redhat.java
Many many thanx again. vscode is a great tool !
I'll close the issue since I opened another ticket elsewhere.
The bug / what is happening:
When I try to open 2 different projects:
then I'd expect that "java.configuration.runtimes" to be different in both dev containers and match the java version installed in the corresponding container.
However, something strange and rather buggy happens instead:
When I get one container working, I get the following error in the OTHER container:
In the above message the JDK path is that of the first container and
I simply don't know what it is doing there and cannot find any reference to it in the second project.
I can have one or the other container working by cleaning the java server workspace but never both at once.
Even stranger:
When I choose "Open Settings" on that notification / pop-up dialog, then
settings.json
filedevcontainer.json
of the current container !settings.json
that was automagically opened and MAKE it match the expected value for its devcontainer specificationConclusion: They seem to share the setting but I do not understand why ? and I believe that the should not !
Misc information
Steps to Reproduce:
Create 2 projects using devcontainers and using with different JDKs:
It is important to note that both devcontainers use
devcontainer.json
withjava.configuration.runtimes
settingsdev environment #1:
and dev environment #1:
I'm not sure of what extension is causing this... Who is using the "java.configuration.runtimes" settings ?