generator-theia-extension icon indicating copy to clipboard operation
generator-theia-extension copied to clipboard

Integrating a generated extension into theia cloud

Open NickLagogiannis opened this issue 1 year ago • 1 comments
trafficstars

Greetings,

In our company, we are trying to integrate an extension produced by yeoman generator, specifically "Tree Editor". Following the documentation https://theia-ide.org/docs/composing_applications we successfully created our extension and used the "yarn package" to export it as a tgz file to use it elsewhere.

Our goal is to integrate it into our Theia IDE for cloud application, which we installed on our azure cloud by following the documentation https://github.com/eclipse-theia/theia-cloud/blob/azure-documentation/doc/docs/platforms/Azure.md and its working, but we can't find any instructions about adding an extension to it. Therefore we followed the following path :

First, we ensured that our extension is working:

We have downloaded locally also a version of Theia IDE for desktop and added the "Tree Editor" extension in the package.json and it's working properly.

Second, we created a docker image by using the "browser.Dockerfile". Specifically, we edit package.json in the "./theia-extensions/product" folder to include our "Tree Editor" extension, create an image using the "browser.Dockerfile," and run a container with that image, which is also working properly.

We tried to use the same strategy by creating an image of landing-page with dockerfile.local that contains also our extension, push it on a private registry, and then replacing the original image from valuesAzure.yaml modified_image original_image We reinstalled our Theia IDE for cloud application and even though we do not have any error in this procedure, the extension does not appear when we start the Theia IDE in the cloud.

Can you give us a hint how to proceed? Did we do something wrong in the path we followed or is there another recommended procedure to integrate an extension to the Theia Cloud IDE?

NickLagogiannis avatar Oct 31 '24 09:10 NickLagogiannis