search

DOMjudge / domjudge-packaging

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

Allow to specify UID/GID for contributor container. Fixes #143. #144

Closed nickygerritsen closed 6 months ago

nickygerritsen commented 1 year ago

@chistopher would you be able to build the container with these changes and set the correct UID/GID to verify this will fix your issue?

chistopher commented 1 year ago

Nice, it works :) Maybe we should add -e UID="$(id -u)" -e GID="$(id -g)" to the long docker run ... command in the README.md here https://github.com/DOMjudge/domjudge-packaging/blob/933168beb01a7825abb66c5d0abf4e472f5d31bc/docker-contributor/README.md?plain=1#L40

nickygerritsen commented 1 year ago

Nice, it works :) Maybe we should add -e UID="$(id -u)" -e GID="$(id -g)" to the long docker run ... command in the README.md here

https://github.com/DOMjudge/domjudge-packaging/blob/933168beb01a7825abb66c5d0abf4e472f5d31bc/docker-contributor/README.md?plain=1#L40

Makes sense. I will add it.