seg_yinzy
/
che-server
mirror of https://github.com/eclipse-che/che-server.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
che-server/dockerfiles/theia
History
Mykola Morhun 44681e8d44
Merge wiptheia dockerfile with Che Theia IDE dockerfile (#10148) 
* CHE-10124: Merge wiptheia dockerfile with Che Theia IDE dockerfile

Signed-off-by: Mykola Morhun <mmorhun@redhat.com>
 		2018-06-26 18:58:23 +03:00
..
src Merge wiptheia dockerfile with Che Theia IDE dockerfile (#10148) 2018-06-26 18:58:23 +03:00
Dockerfile Merge wiptheia dockerfile with Che Theia IDE dockerfile (#10148) 2018-06-26 18:58:23 +03:00
README.md fix build.sh for theia image (#9850) 2018-05-29 15:28:19 +03:00
build.sh Theia docker file with launcher script (#8732) 2018-03-05 09:47:59 +02:00
supervisord.conf Merge wiptheia dockerfile with Che Theia IDE dockerfile (#10148) 2018-06-26 18:58:23 +03:00

README.md

How to Build Theia Image

Build image manually

Example: using build script: ./build.sh --build-args:GITHUB_TOKEN=$GITHUB_TOKEN,THEIA_VERSION=0.3.10 --tag:0.3.10-nightly with native docker: docker build -t eclipse/che-theia:0.3.10-nightly --build-arg GITHUB_TOKEN={your token} --build-arg THEIA_VERSION=0.3.10 .

Theia version

There's a default Theia version set in the script. This version is then injected in all package.jsons. You can override THEIA_VERSION by exporting the env before running the script

GITHUB_TOKEN

Once of Theia dependencies calls GitHub API during build to download binaries. It may happen that GitHub API rate limit is exceeded. As a result build fails. It may not happen at all. If it happens, obtain GitHub API token