Stream: coq-lsp

Topic: WSL no connection to server


view this post on Zulip Jim Portegies (May 23 2023 at 16:41):

When trying a setup connecting the vscode extension to coq-lsp through the Windows Subsystem for Linux (WSL), I get the error below. Would you have any idea how I can fix this?

[Error - 6:30:51 PM] Coq LSP Server client: couldn't create connection to server.
Error: Unsupported server configuration {
"command": "",
"args": []
}
at /home/jportegi1/.vscode-server/extensions/ejgallego.coq-lsp-0.1.6/out/src/client.js:39:58105
at async nd.createConnection (/home/jportegi1/.vscode-server/extensions/ejgallego.coq-lsp-0.1.6/out/src/client.js:39:12653)
at async nd.start (/home/jportegi1/.vscode-server/extensions/ejgallego.coq-lsp-0.1.6/out/src/client.js:39:2940)

view this post on Zulip Jim Portegies (May 25 2023 at 05:57):

This is sort of resolved, it was due to an empty coq-lsp path in a settings.json in vscode that apparently had priority over the one that I modified.

view this post on Zulip Emilio Jesús Gallego Arias (Jun 06 2023 at 19:31):

Hi @Jim Portegies I'm glad it was resolved, if you think that problem can occur again to users let us know so we can document it.


Last updated: Mar 28 2024 at 17:01 UTC