Metals扩展下载失败

Question

我试图为VS Code安装金属，它在过去对我很好。
但是现在当尝试时，我得到以下三个错误消息:
Failed to download Metals, make sure you have an internet connection, the Metals version '0.11.6' is correct and the Java Home 'C:Program FilesJavajdk-11.0.14' is valid. You can configure the Metals version and Java Home in the settings.See https://scalameta.org/metals/docs/editors/vscode/#http-proxy for instructions if you are using an HTTP proxy.
我已经检查过了，并且提供的路径对于jdk是正确的。
所以我不知道为什么这个错误信息一直出现。

Answer 1

我也遇到了类似的问题，这是由JRE版本引起的。请尝试将JRE/JDK更新到最新版本并调整JAVA_HOME路径

在我执行了这些步骤之后，Metals插件开始正常工作。