With our setup a Theia instance takes about 90 seconds to start up. The vast majority of this time is spent downloading & decompressing the docker image.
theiaide/theia image weighs in at 357MB, which is about the same size as the custom image we’re using in productio. I’m surprised I haven’t seen more discussion about this issue, since Theia is designed to operate in the cloud.
Is there any way to reduce the overall size of the image, even theoretically? I’m also curious to hear how everyone else is deploying Theia and what your startup times are.