andis/dev_environment
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

only theia Docker nginx not needed

Browse Source
This commit is contained in:
Andreas Stephanides
2021-11-14 11:26:06 +01:00
parent b1620ab5f8
commit 56a8997fee
7 changed files with 14 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
build_push
View File

@@ -3,9 +3,9 @@ export REGISTRY="docker.triton2.fet.at"
docker login $REGISTRY
# build a small nginx image to handle routing of /dev and other services
docker build --no-cache -f dockerfiles/Dockerfile.nginx -t $REGISTRY/dev_nginx:latest .
docker push $REGISTRY/dev_nginx:latest
#docker build --no-cache -f dockerfiles/Dockerfile.nginx -t $REGISTRY/dev_nginx:latest .
#docker push $REGISTRY/dev_nginx:latest
# Build a development Image with Theia and all content
docker build --no-cache -f dockerfiles/Dockerfile.theia -t $REGISTRY/dev_theia:latest .
docker build --no-cache -t $REGISTRY/dev_theia:latest .
docker push $REGISTRY/dev_theia:latest