Home Explore Help
Sign In
ffdo-infrastruktur
/
site-ffdo
mirror of https://github.com/ffdo/site-ffdo.git
4
0
Fork 0
Files

FF Dortmund (FFDO) specific Gluon configuration

Tree: 1071de47fb
Branches Tags
site-ffdo
ZIP TAR.GZ
Till Klocke 1071de47fb The file targets.mk now doesn't stop the build any more 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 9 years ago
README.md 78c24f48f1 Add documentation 10 years ago
docker-build.sh 1071de47fb The file targets.mk now doesn't stop the build any more 9 years ago
site.conf aa186a2ed4 Fix update path 9 years ago
site.mk cfe56e0bed Clean up, prepare stable release 0.8.0 9 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.