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

small fixes to build

Browse Source
This commit is contained in:
Andreas Stephanides
2021-05-23 11:18:17 +00:00
parent d0e76cda2a
commit 4f837d60a0
4 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
build_push
View File

@@ -1,9 +1,10 @@
#/bin/bash
export REGISTRY="docker.triton2.fet.at"
# Build a development Image with Theia and all content
#docker build --no-cache -f Dockerfile.nginx -t $REGISTRY/dev_nginx:latest .
#docker push $REGISTRY/dev_nginx:latest
# 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 Dockerfile.theia -t $REGISTRY/dev_theia:latest .
# Build a development Image with Theia and all content
docker build --no-cache -f dockerfiles/Dockerfile.theia -t $REGISTRY/dev_theia:latest .
docker push $REGISTRY/dev_theia:latest