enso-org/enso
1
1
Fork 0
mirror of https://github.com/enso-org/enso.git synced 2024-12-19 19:13:16 +03:00
Code Issues Projects Releases Wiki Activity
9ddd8417b2
enso/distribution/project-manager/THIRD-PARTY/jakarta.inject.jakarta.inject-api-2.0.1/NOTICES

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

4 lines
96 B
Plaintext
Raw Normal View History

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 16:51:42 +03:00
Copyright &#169; 2018,2020 Eclipse Foundation.<br>
Copyright (C) 2009 The JSR-330 Expert Group
Reference in New Issue Copy Permalink