Closed ghost closed 6 years ago
what is difference with https://github.com/eclipse/che/tree/master/dockerfiles/theia ?
Dockerfile from Che repo will be removed. We will use this one, and tag with with Theia release, not Che.
where is it being discussed ?
I haven't made a PR to Che repo yet.
This PR in dockerfiles fixes https://github.com/eclipse/che/issues/9649
I mean, where has it been discussed that it will be moved from che repo to che-dockerfiles repo ?
In the PR that I am about to issues against Che repository.
if there is a PR it seems to me that there is already a choice that has been made by someone.
I have just issued a PR to Che repo.
should be closed?
Yes. Closing
What does this PR do?
This PR add recipe and build script for an image with Theia that has yarn cache and pre-built Theia with a limited number of plugins.