FF Dortmund (FFDO) specific Gluon configuration
Torben Weibert
b14bf20661
Adjusted site.mk for Gluon v2015.1
|
9 سال پیش | |
|---|---|---|
| docker | 9 سال پیش | |
| Dockerfile | 9 سال پیش | |
| README.md | 9 سال پیش | |
| site.conf | 9 سال پیش | |
| site.mk | 9 سال پیش |
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.