README-DEV.md

How to develop an extension using docker (theia-master)

To start the docker, run docker-compose up. Make sure that dockerfile: dockerfile-dev is set in the docker-compose.yml.

To launch the development app:

1. run cd /home/theia/theia-master
2. run npx run watch on desired package, i.e. theia-master$ npx run watch hello-world or theia-master$ npx run watch @theia/python
3. run yarn in ~/theia-master/examples/browser then yarn theia start --hostname=0.0.0.0 --startup-timeout 100000 to start the now updated app.

to be updated when more efficient means are found.

theia: java debug: ~/packages/java-debug python: ~/packages/python python debug: ~/packages/python-debug

References: theia development guide: https://github.com/theia-ide/theia/blob/master/doc/Developing.md

VS python debugging: https://github.com/Microsoft/vscode-recipes/tree/master/debugging%20python VS Python debugger commands: https://github.com/Microsoft/vscode-python/blob/master/package.json language server guide: https://code.visualstudio.com/api/language-extensions/language-server-extension-guide currently implemented language server (no debug): https://github.com/palantir/python-language-server visual studio LS (with debug func): https://github.com/Microsoft/vscode-python