#/bin/bash export REGISTRY="docker.triton2.fet.at" # Build a development Image with Theia and all content docker build -f Dockerfile.etherpad -t $REGISTRY/etherpad:latest . docker push $REGISTRY/etherpad