Kris De Volder
|
d1c83aa30f
|
theia docker image now under springci/...
|
2020-11-16 16:08:00 -08:00 |
|
Martin Lippert
|
8ece73e78e
|
fix more typos
|
2020-06-26 10:27:05 +02:00 |
|
Martin Lippert
|
fc9f46cb20
|
fix typo
|
2020-06-26 10:24:53 +02:00 |
|
Kris De Volder
|
3061cb30b1
|
Update theia docker image package.json
... so it matches more closely with 'upstream' version of
this.
|
2020-05-27 11:58:19 -07:00 |
|
Kris De Volder
|
d60cf6f89f
|
More attempts to fix theia docker image
|
2020-02-28 11:30:13 -08:00 |
|
Kris De Volder
|
6cdecf767a
|
Reorder things a bit in theia docker file
|
2020-02-28 11:22:46 -08:00 |
|
Kris De Volder
|
3e7c0f301e
|
Remove our manual setup of vscode-java for theia...
... looks like this now just works from package.json file.
So we were effectively installing more than one copy of
the java support.
|
2020-02-28 10:40:20 -08:00 |
|
Kris De Volder
|
fe5a69a140
|
Try putting our vscode extensions back into theia
|
2020-02-28 10:30:13 -08:00 |
|
Kris De Volder
|
c620a4c6b0
|
Remove our vsix files from theia-docker-image
... just as a experiment to see if it works better with them removed.
|
2020-02-28 09:20:20 -08:00 |
|
Kris De Volder
|
606a52c103
|
Another attempt to fix theia image
|
2020-02-27 16:21:30 -08:00 |
|
Kris De Volder
|
622b3806bb
|
Don't add readme file to theia plugins folder
Suspect that it causes trouble because the reamde itself is not a vscode extension.
|
2020-02-27 15:49:10 -08:00 |
|
Kris De Volder
|
46062ac07c
|
Avoid webpack OME in theia-build
|
2020-01-23 11:27:06 -08:00 |
|
Kris De Volder
|
d9f2e4c709
|
Try Theia with version 'next'.
|
2020-01-20 15:51:33 -08:00 |
|
Kris De Volder
|
a89514043a
|
Add debug info to theia-docker-image build
|
2020-01-14 13:46:49 -08:00 |
|
Kris De Volder
|
6d94e78280
|
Change name of theia-app
|
2020-01-14 13:45:52 -08:00 |
|
Kris De Volder
|
273497cc40
|
Add info developer notes about...
... the origin of Theia package.json file.
|
2020-01-14 11:51:55 -08:00 |
|
Kris De Volder
|
50260eb2ff
|
Try fixing Theia docker build
|
2020-01-14 11:38:40 -08:00 |
|
Kris De Volder
|
66064b449f
|
Switch to theia 'latest' instead of 'next'
Hopefully this will make docker image build more stable.
|
2019-12-20 14:43:11 -08:00 |
|
Kris De Volder
|
b5aff2634f
|
docker-theia image build tweaks:
- Add slack notification to docker-theia build
- Add a short readme on how to use/run the image
|
2019-11-28 09:51:43 -08:00 |
|
Kris De Volder
|
cd0c29671b
|
Attempt to add theia-docker-image build to pipeline
|
2019-11-27 14:42:03 -08:00 |
|