FF Dortmund (FFDO) specific Gluon configuration

Markus Lindenberg aa186a2ed4 Fix update path 10 years ago
i18n 6bc9e587d6 Support for v2015.2 (master branch, in development) 10 years ago
Dockerfile cfe56e0bed Clean up, prepare stable release 0.8.0 10 years ago
README.md 78c24f48f1 Add documentation 10 years ago
docker-build.sh cfe56e0bed Clean up, prepare stable release 0.8.0 10 years ago
site.conf aa186a2ed4 Fix update path 10 years ago
site.mk cfe56e0bed Clean up, prepare stable release 0.8.0 10 years ago

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.