search

banacorn / agda-mode-vscode

agda-mode on VS Code
https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode
MIT License
167 stars 38 forks source link

"Connection Error: Unable to find Agda Language Server" Error downloading language server? #172

Closed N10KYA closed 8 months ago

N10KYA commented 9 months ago

I've gotten this issue on two different machines now, both running Linux Mint, on the primary one I tried the issue appeared when I pointed agda-mode to both agda 2.6.3 and agda 2.6.4.

Here are the error messages from all the attempts: 
Trying to connect to localhost:4096 : Error: connect ECONNREFUSED 127.0.0.1:4096
Trying to find the command "als": Cannot find the executalbe on PATH
Trying to download prebuilt from GitHub: Cannot get release info from GitHub:
Cannot parse downloaded file as JSON:

Request forbidden by administrative rules. Please make sure your request has a User-Agent header (https://docs.github.com/en/rest/overview/resources-in-the-rest-api#user-agent-required). Check https://developer.github.com for other possible causes.

I've tried manually downloading the ubuntu release and making it available in my PATH, but when I do that I get errors as described in THIS issue for the agda language server. Maybe I was supposed to put the release somewhere else but I wasn't sure how it's supposed to be installed if installed manually.

edit: if relevant, this is my first time using emacs and I'm relatively new to all things cabal

mikevoronov commented 9 months ago

https://github.com/agda/agda-language-server/issues/15 looks like a duplicate of https://github.com/banacorn/agda-mode-vscode/issues/122. I also stumbled across this one and waiting for a solution :).

banacorn commented 9 months ago

Hey guys, sorry for the inconvenience! I've just attended that last Agda Implementors' Meeting. We're working on this now!

banacorn commented 8 months ago

Fixed in v0.4.7

mikevoronov commented 8 months ago

It works, thank you!