FF Dortmund (FFDO) specific Gluon configuration

Markus Lindenberg a1982d4741 Update image URLs před 10 roky
docker 4dbe1df169 use dirclean instead of clean between builds před 10 roky
i18n 6bc9e587d6 Support for v2015.2 (master branch, in development) před 10 roky
Dockerfile f6dc81eb70 Update to v2016.1 před 10 roky
README.md 78c24f48f1 Add documentation před 10 roky
site.conf a1982d4741 Update image URLs před 10 roky
site.mk f6dc81eb70 Update to v2016.1 před 10 roky

README.md

site-ffdo

FF Dortmund (FFDO) specific Gluon configuration

Using the Dockerfile

See https://docs.docker.com/installation/#installation on how to get Docker.

docker build -t ffdobuild .
docker run ffdobuild

After a successful build you can remove the used container. Use docker ps -a to find the container ID and docker rm <container> to remove the container. Use docker rmi ffdobuild to remove the image used to create the container.