Docker in theia

Hi,

I am curious to understand how gitpod allows end users to use their own full docker image.
Would it be doable to run something like remote-containers?
Ultimately I’d like to have some env to run theia itself and another env for the theia workspace.

Any hint? :slight_smile:

[original thread by Julien Eluard]

Just a quick note about the Microsoft “remote” extension family: they all are licensed under a proprietary license, that does not permit usage as part of a product that is not in the “Visual Studio” family. See point 1 : https://marketplace.visualstudio.com/items/ms-vscode-remote.remote-containers/license

@jeluard You are better to ask Gitpod related questions here: https://community.gitpod.io/