-
Notifications
You must be signed in to change notification settings - Fork 3.6k
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.
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
Language servers via WebSocket or TCP #8498
Comments
The GDScript Zed Extension (grndctrl/zed-gdscript) currently uses netcat
|
@grndctrl (or anyone else with insight) are there any downsides to using netcat as opposed to having support for WebSocket or TCP language servers built into Zed? If not then we could probably consider this issue resolved |
The issue on Windows is that From what I've found so far this isn't going to change any time soon Windows Server 2019 sees nc.exe as a virus. I understand that Windows is not yet supported, just leaving this here in case someone also ran into this. |
I think it would be reasonable to support at least TCP-based connections to language servers, not just stdio. I'm not sure how widely-used the web socket transport is for this. |
Check for existing issues
Describe the feature
Some language servers, such as Godot's GDScript language server, are only accessible via WebSocket and/or TCP. Allowing for languages in Zed to use WebSocket or TCP to connect to language servers would allow for even more languages to be possibly supported in Zed.
If applicable, add mockups / screenshots to help present your vision of the feature
VSCode's Godot plugin works this way, where it connects to the GDScript language server built into the Godot editor with a WebSocket or TCP stream: https://github.com/godotengine/godot-vscode-plugin
The text was updated successfully, but these errors were encountered: