Java Home setting wants an URI, but it's actually supposed to be a path

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code

MIT License

357 stars 33 forks source link

Java Home setting wants an URI, but it's actually supposed to be a path #195

Closed kubukoz closed 3 years ago

kubukoz commented 3 years ago

Whether in the settings panel:

or in the file:

the setting wants the path to be an URI, but only works when I provide a filesystem path. Prefixing with file:// actually causes the TLC not to run at all, and the error to appear:

alygin commented 3 years ago

The fix is available in v1.5.3-alpha.1

alygin commented 3 years ago

@kubukoz, thanks for the report and for the fix!