Open KireinaHoro opened 3 months ago
Looks like the path being fed to Metals starts with vscode-remote:
and we have no way of working with that. Not sure what is expected of extensions in that case.
I just tried installing the extension on the remote host as well, and now it seems to work without problems. Maybe the extension can request itself to be installed on the remote machine, like the native CPP extension does?
Curiously, Metals defines itself as a workspace
extension first, which should force VS Code to run it on the same machine as the workspace. We could remove the second ui
part as most likely that will not be possible to do.
Describe the bug
I'm trying to import a Mill-based project through remote SSH with Metals. Seems like the plugin locates JDK correctly and downloads all the required Maven dependencies, but couldn't start the server. Log:
To Reproduce Steps to reproduce the behavior:
Expected behavior
Metals should successfully import the project
Installation:
metals.serverVersion
) 1.3.5