Ah, nevermind, I had to set it in File->Preferences->Settings->Extensions->Metals->“Java Home”. The value /run/current-system/sw/lib/openjdk
works.
To make this work out-of-the-box we should solve Auto-detecting Java installations somehow
Ah, nevermind, I had to set it in File->Preferences->Settings->Extensions->Metals->“Java Home”. The value /run/current-system/sw/lib/openjdk
works.
To make this work out-of-the-box we should solve Auto-detecting Java installations somehow