Metals: Allow configuring JDK path

Created on 25 Mar 2018  路  2Comments  路  Source: scalameta/metals

As suggested in https://github.com/scalameta/metals/issues/41#issuecomment-375973005 we could allow configuring the JDK path.

configuration

Most helpful comment

I think it would make sense to additionally fallback to .orElse(sys.env("JAVA_HOME")) if that would avoid the need for all windows users to configure the path in settings.

All 2 comments

I think it would make sense to additionally fallback to .orElse(sys.env("JAVA_HOME")) if that would avoid the need for all windows users to configure the path in settings.

If I understand correctly, we should detect Java home in the following order

  • User configuration in VS Code
  • System.getenv().get("JAVA_HOME")
  • System.getProperty("java.home")
  • Error 馃挜
Was this page helpful?
0 / 5 - 0 ratings

Related issues

olafurpg picture olafurpg  路  4Comments

iokacha picture iokacha  路  4Comments

keirlawson picture keirlawson  路  3Comments

laughedelic picture laughedelic  路  4Comments

vadeg picture vadeg  路  3Comments