Re: [che-dev] Picking up Theia changes into che-theia

[Yevhen Vydolob <yvydolob@xxxxxxxxxx>]

Hi, currently che-theia image build with Theia master on each commit in che-theia repository.

Value of that variable is set by our script, I will create pull request to set up it properly

On Mon, Jun 10, 2019 at 10:50 PM Dave Neary <dneary@xxxxxxxxxx> wrote:

Hi all,

During the Che community call earlier, Tim Etchells asked a question
about how we pick up a specific version of Theia for che-theia.
Specificlaly, he has a PR for Theia that he needs included in Che:
https://github.com/theia-ide/theia/pull/5310


Tim mentioned that this PR to Theia is a blocker for Codewind, and said
that the Dockerfile for che-theia specified Theia version 0.5.0
hard-coded:
https://github.com/eclipse/che-theia/blob/master/dockerfiles/theia/Dockerfile#L22


How can he pick up the latest version of Theia for builds of Eclipse Che?

Thanks,
Dave.

--
Dave Neary - Eclipse Che Ecosystem & Community Manager
Open Source and Standards - Red Hat
E: dneary@xxxxxxxxxx / T: @nearyd / Ph: +1-978-799-3338

--

YEVHEN VYDOLOB

SENIOR SOFTWARE ENGINEER

Red Hat EMEA R&D Developer

yvydolob@xxxxxxxxxx