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
Roman Iuvshyn b872b317cb
RELEASE: Set next development version (#12277) 		2018-12-26 13:04:51 +02:00
..
e2e Usage of Theia 0.3.18 2018-12-21 16:25:37 +01:00
src Backport as well https://github.com/theia-ide/theia/pull/3869 fix for tasks runners 2018-12-20 10:56:12 +01:00
.dockerignore Add e2e tests for the che/theia image 2018-09-05 11:11:12 +02:00
Dockerfile Usage of Theia 0.3.18 2018-12-21 16:25:37 +01:00
README.md Use verbaccio config. (#11230) 2018-09-17 12:23:55 +03:00
build.sh build.sh become working on Ubuntu / Linux Mint (#12004) 2018-11-21 12:37:27 +02:00
pom.xml RELEASE: Set next development version (#12277) 2018-12-26 13:04:51 +02: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=${GITHUB_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