FF Dortmund (FFDO) specific Gluon configuration

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

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.