Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Cannot communicate with lsp server #5

Open
KySpace opened this issue Sep 17, 2021 · 4 comments
Open

Cannot communicate with lsp server #5

KySpace opened this issue Sep 17, 2021 · 4 comments

Comments

@KySpace
Copy link

KySpace commented Sep 17, 2021

Showing Couldn't start client idris 2 LSP Client and Starting client failed Launching server using command ~/.idris2/bin/idris2-lsp failed..
lsp server passed make test

Environment: vscode on wsl2 debian

See also
idris-community/idris2-lsp#88
@bamboo
Copy link
Owner

bamboo commented Sep 17, 2021

As an experiment, could you try setting the idris2-lsp path configuration in vscode to point to the build dir instead of the install location, something like <idris2-lsp checkout>/build/exec/idris2-lsp and see if that changes anything?

@KySpace
Copy link
Author

KySpace commented Sep 17, 2021

It's working in that case

@bamboo
Copy link
Owner

bamboo commented Sep 17, 2021

Great, thanks. In that case it seems the idris2-lsp make install step might be missing something some important files.

@KySpace
Copy link
Author

KySpace commented Sep 17, 2021

I'll continue the discussion in the other issue, then?

@KySpace KySpace mentioned this issue Sep 17, 2021
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@bamboo @KySpace