metals-vscode
metals-vscode copied to clipboard
An error report when install metals "Error: Failed to establish a socket connection to proxies"
Describe the bug
When I installed metals , it reports as follows:
Then I refer to #70 , which memtioned
updating -Dhttps.proxyHost=… -Dhttps.proxyPort=… in the "Server Properties" setting for Metals in VS Code? Alternatively, those properties are picked up automatically from .jvmopts if they are defined there.
so I lookup my proxy port and host,then update Properties in settings.json as followed.
but it still not work.
So how should I configure properly?
Expected behavior
metals was installed properly.
Environment
- Operating system:Windows Subsystem Linux ( Ubuntu22.04 )
- VSCode version:1.88.0
- Metals version:1.29
Search terms proxy