Files
dev_environment/build_push
2021-05-23 21:26:10 +00:00

11 lines
457 B
Plaintext
Executable File

#/bin/bash
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
# 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