An error report when install metals "Error: Failed to establish a socket connection to proxies"

[TDppy]

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

[tgodzik]

Thanks for reporting! The error is only related to showing the release notes, it tries to get them from github and is done entirely within the extension. This should not be an issue side from those notes not popping up.

The other issue I see is that the import failed, which will cause almost no functionality to work. You can try to do it again manually available in the Metals menu.