search

DOMjudge / domjudge-packaging

DOMjudge packaging for (Linux) distributions and live image
31 stars 37 forks source link

Fix docker build for domjudge 7.3 #94

Closed incaseoftrouble closed 2 years ago

incaseoftrouble commented 2 years ago

Domjudge 7.3 updated to php 7.4, the start.sh / php-fpm however has a hardcoded php version, the built docker image fails to start

I'll provide a PR tomorrow (its only a few changes).

If it's ok, I'll also add make dist to the build.sh - then one can directly use local sources without needing to install all the dependencies for it (they are present in the dockerfile anyway)

nickygerritsen commented 2 years ago

Thanks, a PR sounds good!