Skip to content
This repository has been archived by the owner on Jun 29, 2021. It is now read-only.

WebIDE #9

Open
osbre opened this issue Oct 3, 2019 · 1 comment
Open

WebIDE #9

osbre opened this issue Oct 3, 2019 · 1 comment
Assignees

Comments

@osbre
Copy link
Member

osbre commented Oct 3, 2019

WebIDE, that works with docker containers, and use websockets to communicate with client

@osbre osbre self-assigned this Oct 3, 2019
@osbre
Copy link
Member Author

osbre commented Feb 25, 2020

I prefer Theia instead of making my own ide. See work at #17

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant