Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[docker] Update che theia image #11633

Merged
merged 3 commits into from
Oct 16, 2018
Merged

[docker] Update che theia image #11633

merged 3 commits into from
Oct 16, 2018

Conversation

benoitf
Copy link
Contributor

@benoitf benoitf commented Oct 16, 2018

What does this PR do?

Include yeoman generator plug-in
Add /projects folder and use it as working directory

What issues does this PR fix or reference?

N/A

Release Notes

N/A

Docs PR

N/A

Change-Id: I9a5d898dceaaef98c559341dda122dc6f530beac
Signed-off-by: Florent BENOIT fbenoit@redhat.com

Add /projects folder and use it as working directory

Change-Id: I9a5d898dceaaef98c559341dda122dc6f530beac
Signed-off-by: Florent BENOIT <fbenoit@redhat.com>
@benoitf benoitf self-assigned this Oct 16, 2018
@benoitf benoitf added the status/code-review This issue has a pull request posted for it and is awaiting code review completion by the community. label Oct 16, 2018
@benoitf benoitf requested a review from l0rd October 16, 2018 15:35
…er and use it as working directory

Change-Id: If0a1eeee655d6b8da73bc5d071f3ef9bc42092e5
Signed-off-by: Florent BENOIT <fbenoit@redhat.com>
…er and use it as working directory

Change-Id: I4960f8425fa6a5e70d4afc1c8ec850e6daecd7e5
Signed-off-by: Florent BENOIT <fbenoit@redhat.com>
@benoitf
Copy link
Contributor Author

benoitf commented Oct 16, 2018

ci-build

@benoitf benoitf merged commit bd34ae5 into master Oct 16, 2018
@benoitf benoitf deleted the custom-theia branch October 16, 2018 17:32
@benoitf benoitf added this to the 6.13.0 milestone Oct 16, 2018
@benoitf benoitf removed the status/code-review This issue has a pull request posted for it and is awaiting code review completion by the community. label Oct 16, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants