Página Principal Explorar Ajuda
Iniciar Sessão
ffdo-infrastruktur
/
site-ffdo
mirror de https://github.com/ffdo/site-ffdo.git
4
0
Fork 0
Ficheiros

FF Dortmund (FFDO) specific Gluon configuration

Árvore: 1359954126
Ramos Etiquetas
site-ffdo
ZIP TAR.GZ
Markus Lindenberg 1359954126 Fix site prefix há 10 anos atrás
i18n 6bc9e587d6 Support for v2015.2 (master branch, in development) há 10 anos atrás
Dockerfile 00152c903f Continue if a target fails, merge builds in output directory, clean up há 10 anos atrás
README.md 00152c903f Continue if a target fails, merge builds in output directory, clean up há 10 anos atrás
build.sh d6c6de89f7 Add timing for build.sh há 10 anos atrás
docker-build.py 18bae87360 Fix error when arch dir exists há 10 anos atrás
site.conf 1359954126 Fix site prefix há 10 anos atrás
site.mk 00152c903f Continue if a target fails, merge builds in output directory, clean up há 10 anos atrás

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.

./build.sh

Cleaning up

docker rm ffdobuild
docker rmi ffdobuild