Is there a way to replace the standard Theia IDE that comes with Gitpod by a modified version? Right now it seems that one can only extend Theia by additional plugins (VS-Code extensions) but not Theia extensions that require a recompilation of the entire IDE.
1 Like
We are working on allowing that, but for now it is not possible without forking and rebuilding everything. The reason is that Theia extensions are compile-time extensions.
2 Likes
Thanks for your reply Sven! Using Gitpod with a modified/branded Theia application could be an interesting feature. My first approach was bundling a custom Theia application together with an extended gitpod/workspace-full Docker image that can be set as default IDE in gitpod.yml configuration. Maybe this is a feasible future solution but of course doesn’t work yet.
We have started working on supporting this. Will take a bit of time though.
You can follow https://github.com/gitpod-io/gitpod/issues/1780
1 Like