Skip to content
This repository has been archived by the owner on Apr 4, 2023. It is now read-only.

Fix extension branch #57

Merged
merged 6 commits into from
Feb 11, 2019
Merged

Fix extension branch #57

Show file tree
Hide file tree
Changes from 2 commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
aa22469
#39 fix extension branch
evidolob Feb 8, 2019
e328958
#39 set extensions to stable version
evidolob Feb 8, 2019
3fa78e8
#39 set master image as 'che-theia:master'
evidolob Feb 8, 2019
7001902
#39 update readme file
evidolob Feb 8, 2019
ab6b655
#39 update readme.md
evidolob Feb 11, 2019
0f0e272
#39 update docker publish script
evidolob Feb 11, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion build_and_push_docker_images.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ eclipse/che-theia-master
for image_dir in "${DOCKER_FILES_LOCATIONS[@]}"
do
if [ "$image_dir" == "dockerfiles/theia" ]; then
THEIA_IMAGE_TAG="$(awk '/ARG THEIA_VERSION=/{print $NF}' dockerfiles/theia/Dockerfile | cut -d '=' -f2)-nightly"
THEIA_IMAGE_TAG="nightly"
bash $(pwd)/$image_dir/build.sh --build-args:GITHUB_TOKEN=${GITHUB_TOKEN},THEIA_VERSION=master --branch:master --git-ref:refs\\/heads\\/master
elif [ "$image_dir" == "dockerfiles/theia-dev" ]; then
bash $(pwd)/$image_dir/build.sh --build-arg:GITHUB_TOKEN=${GITHUB_TOKEN}
Expand Down
2 changes: 1 addition & 1 deletion extensions/extensions.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -19,4 +19,4 @@ extensions:
- extensions/eclipse-che-theia-plugin-ext
- extensions/eclipse-che-theia-terminal
- extensions/eclipse-che-theia-remote
checkoutTo: 0.0.4
checkoutTo: 0.3.19