enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-23 16:15:11 +03:00
Code Issues Projects Releases Wiki Activity
6897f0d30c
enso/lib
History
Dmitry Bushev 858e646328
Start Ydoc with the language server (#9862) 
- related #7954

Changelog:
- update: Ydoc starts with the language server on the `localhost:1234` by default. The hostname and ports can be configured by setting environment variables `LANGUAGE_SERVER_YDOC_HOSTNAME` and `LANGUAGE_SERVER_YDOC_PORT`
- update: by default `npm dev run` uses the node Ydoc server. You can control it with `POLYGLOT_YDOC_SERVER` env variable. For example,
```
env POLYGLOT_YDOC_SERVER='true' npm --workspace=enso-gui2 run dev
```
To connect to the Ydoc server running on the 1234 port (the one started with the language server)
⠀
```
env POLYGLOT_YDOC_SERVER='ws://127.0.0.1:1235' npm --workspace=enso-gui2 run dev
```
To connect to the provided URL. Can be useful for debugging when you start a separate Ydoc process.
- update: run `npm install` before the engine build. It is required to create the Ydoc JS bundle.
2024-05-28 13:51:42 +00:00
..
java Start Ydoc with the language server (#9862) 2024-05-28 13:51:42 +00:00
js/runner Remove obsolete GUI arguments (#9466) 2024-04-05 16:20:56 +00:00
rust Enso Library Feature to execute (a bit of) Base_Tests (#9997) 2024-05-23 08:20:19 +02:00
scala Remove invalid JVM parameters (#10053) 2024-05-23 14:48:08 +00:00
README.md Add a markdown style guide (#1022) 2020-07-21 13:59:40 +01:00

README.md

Libraries

This directory contains the libraries that should remain in this project, but that are not technically part of the main language implementation itself.