Theia - Cloud IDE
-
Just came across the Theia cloud IDE which would be cool to have as a fallback on one's server when away from computer. Looks like the UI is based off of the VS Code UI and supports its extensions. Some Docker image variants.
-
Just came across the Theia cloud IDE which would be cool to have as a fallback on one's server when away from computer. Looks like the UI is based off of the VS Code UI and supports its extensions. Some Docker image variants.
@thetomester13 It looks like a fork of code-server, which I actually have built an app on, though it's pretty out dated at the moment:
--
https://urgero.org
~ Professional Nerd. Freelance Programmer. ~ -
The Gitpod project comes with Theia, and much more to ease the burden of collaboration on projects that are too small to justify dedicated backend support, but computationally intensive enough to need shared (or at least consistently reproducible) infrastructure. They offer free use (up to 5) for local hosting, and mostly turnkey tooling to deploy on GCP, but even if I were willing to swallow my pride and use Google services again, I would feel very uneasy relying on nothing breaking in all the Kubernetes stuff that goes on under the hood with their architecture. I’d like my Cloudron support, and likewise feel much better about where I’m spending my dime :).
-
@thetomester13 It looks like a fork of code-server, which I actually have built an app on, though it's pretty out dated at the moment:
-
@thetomester13 It looks like a fork of code-server, which I actually have built an app on, though it's pretty out dated at the moment:
@murgero would you be willing to contribute that to Cloudron's GitLab? I can then help you get it ready for inclusion in the store (I'm just a volunteer and still learning but am getting the hang of it). Would love to see this app in the store!
-
@girish @murgero I had a dream last night where I visited the Cloudron app store and found a new Gitpod App!
Dreams do come true, or nearly so, anway
btw, when using Gitpod, I think user id only matters for tracking code changes (which can be handled in a gitconfig file for each new workspace). I believe the Gitpod technology is mostly targeting teams who want to provide exactly the same compute environment to every user, maybe with differential code/data repo access permissions (scientific reproducibility starts with hardware specs and software versions, etc.).
I'm not sure if that helps, but thought I'd mention it ...
Brent
