Howto

Registry Server

https://registry.webhosting.rug.nl

login private registry

$ docker login registry.webhosting.rug.nl

Build tag push

$ cd docker-build-directory
$ docker build -t name .
$ docker tag name:latest registry.webhosting.rug.nl/username/name:latest
$ docker push registry.webhosting.rug.nl/username/name:latest