You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I run language servers in containers in order to minimize the software installed on my text editor container or on the host. Working with many programming languages, to install language servers for all of them each one relying on different technologies, it's a lot of software to pollute my host with. Also, to be able to make available the same language server in multiple clients. Currently, this language server seems to work via STDIO only, which makes it a lot more complicated to make it work across containers.
What is the feature you are proposing to solve the problem?
Run the server listening to a host and port e.g. bash-language-server --host 0.0.0.0 --port 8891.
What alternatives have you considered?
No response
The text was updated successfully, but these errors were encountered:
What is the problem this feature will solve?
I run language servers in containers in order to minimize the software installed on my text editor container or on the host. Working with many programming languages, to install language servers for all of them each one relying on different technologies, it's a lot of software to pollute my host with. Also, to be able to make available the same language server in multiple clients. Currently, this language server seems to work via STDIO only, which makes it a lot more complicated to make it work across containers.
What is the feature you are proposing to solve the problem?
Run the server listening to a host and port e.g.
bash-language-server --host 0.0.0.0 --port 8891
.What alternatives have you considered?
No response
The text was updated successfully, but these errors were encountered: