I would like to try the new release of Metals, how do I add a new language server?

#1

[original thread by captainwasabi]

#2

You can write VS Code extension and run it with Theia.

#3
#4

In order to test it with Theia: https://github.com/theia-ide/theia/wiki/Testing-VS-Code-extensions

#5

[captainwasabi]

VS Code extension already exists: https://marketplace.visualstudio.com/items?itemName=scalameta.metals#overview

#6

[captainwasabi]

I’m getting this: Unable to find Java 8 home. To fix this problem, update the ‘Java Home’ setting to point to a Java 8 home directory

#7

[captainwasabi]

but in settings I have: “java.home”: “/usr/lib/jvm/java-8-openjdk-amd64”

#8

[captainwasabi]

and JAVA_HOME is set in /etc/environment to that same path

#9

[captainwasabi]

these seem to be the relevant lines in metals-vscode:

#10

[captainwasabi]

import { workspace } from “vscode”;

#11

[captainwasabi]

and

#12

[captainwasabi]

const userJavaHome = workspace.getConfiguration(“metals”).get(“javaHome”);

#13

@captain-wasabi please file an issue we can have a look later

#14

if VS Code extension does not work, you can still go with existing Theia extensions.

#15

Unftortunately, there is no docs for it, you can study https://github.com/theia-ide/theia/tree/master/packages/python instead

#16

We have plans to deprecate them eventually when VS Code extension support is robust.

#17

Possibly the “metals” plugin contains markup for setting default configuration? vscode-xml seems to have the same problem:

#18
#19

Victor Rubezhny is having a look at it.