I'm trying to install metals for VS Code, it worked fine for me in the past.
However now when trying, I get thee following error message:
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 Files\Java\jdk-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.
I've checked, and the provided path is correct for the jdk.
So I have no clue why this error message keeps coming up.
Metals extension download failed
511 views Asked by Mikecraft1224 At
1
There are 1 answers
Related Questions in SCALA
- Spark .mapValues setup with multiple values
- Where do 'normal' println go in a scala jar, under Spark
- Serializing to disk and deserializing Scala objects using Pickling
- Where has "Show Type Info on Mouse Motion" gone in Intellij 14
- AbstractMethodError when mixing in trait nested in object - only when compiled and imported
- Scala POJO Aggregator Exception
- How to read in numbers from n lines into a Scala list?
- Spark pairRDD not working
- Scala Eclipse IDE compiler giving errors until "clean" is run
- How to port Slick 2.1 plain SQL queries to Slick 3.0
Related Questions in VISUAL-STUDIO-CODE
- vscode file icons
- Building C# code in VSCode on Mac
- How do I support jasmine and es6 syntax in Visual studio Code?
- JS Code didn't work, trying do a demo in css lessons
- Debug Java in Brackets editor or Visual Studio Code
- Visual Studio Code, C# support on Windows
- What is the use of the Developer Tools in VS Code?
- Option to push disabled in Visual Studio Code
- How do I include 'System.Runtime.Serialization.Json' namespace in my VSCode project on Mac OS X?
- Using System.Web.Http on mac os x
Related Questions in JAVA-HOME
- Invalid Gradle JDK configuration found
- setting JAVA_HOME to the JDK location mac osx 10.9.5
- JAVA_HOME not defined correctly
- Error: JAVA_HOME is set to an invalid directory for installing maven
- Jenkins Sonarqube Plugin: JAVA_HOME exists but does not point to a valid Java home
- Not a valid Java Home Error while installing Oracle Web Logic Server
- Error Running Kibana "JAVA_HOME environment variable must be set!"
- JAVA_HOME is not working for Maven
- setting $JAVA_HOME and installing JDK
- Ant/Ubuntu/Eclipse JAVA_HOME
Related Questions in SCALA-METALS
- Is there a way to have spaces in a path for scala worksheets
- Debug/Run issue with VS Code error with metals
- Error downloading org.scalameta:semanticdb-scalac_2.13.6:4.4.10
- Build a jar file with Scala-Metals on VSCode
- Dealing with recursive dependencies in Scala Metals language server with bloop
- Metals on Atom not able to run project
- How can I get the type information at point?
- Add file to classpath of testcontainer in VS Code / Metals using build.sbt
- Metals extension download failed
- Metals VS Code connection to build server failing
Popular Questions
- How do I undo the most recent local commits in Git?
- How can I remove a specific item from an array in JavaScript?
- How do I delete a Git branch locally and remotely?
- Find all files containing a specific text (string) on Linux?
- How do I revert a Git repository to a previous commit?
- How do I create an HTML button that acts like a link?
- How do I check out a remote Git branch?
- How do I force "git pull" to overwrite local files?
- How do I list all files of a directory?
- How to check whether a string contains a substring in JavaScript?
- How do I redirect to another webpage?
- How can I iterate over rows in a Pandas DataFrame?
- How do I convert a String to an int in Java?
- Does Python have a string 'contains' substring method?
- How do I check if a string contains a specific word?
Popular Tags
Trending Questions
- UIImageView Frame Doesn't Reflect Constraints
- Is it possible to use adb commands to click on a view by finding its ID?
- How to create a new web character symbol recognizable by html/javascript?
- Why isn't my CSS3 animation smooth in Google Chrome (but very smooth on other browsers)?
- Heap Gives Page Fault
- Connect ffmpeg to Visual Studio 2008
- Both Object- and ValueAnimator jumps when Duration is set above API LvL 24
- How to avoid default initialization of objects in std::vector?
- second argument of the command line arguments in a format other than char** argv or char* argv[]
- How to improve efficiency of algorithm which generates next lexicographic permutation?
- Navigating to the another actvity app getting crash in android
- How to read the particular message format in android and store in sqlite database?
- Resetting inventory status after order is cancelled
- Efficiently compute powers of X in SSE/AVX
- Insert into an external database using ajax and php : POST 500 (Internal Server Error)
I got similar issues, which turned out to be caused by the JRE version. Try updating JRE/JDK to the latest version and adjusting the
JAVA_HOMEpath.After I performed these steps, Metals plugin started to work correctly.