search

DOMjudge / domjudge-packaging

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

Path docker #72

Closed vmcj closed 3 years ago

vmcj commented 3 years ago

As suggested by Thijs,

Alternative would be to already put this in /etc/bashrc (assuming people will typicly open a bash shell) if it should also work after su domjudge but this was the least impact while I think this covers 90% of the uses

Strangely enough does docker run not give a login shell, but only an interactive one.

vmcj commented 3 years ago

@ubergeek42 I've picked your choices. I can currently not build them locally to see if it indeed works better. But will see if I can get that working.

vmcj commented 3 years ago

Tested locally and seems to work, 

docker run -it domjudge/domserverloc:7.3.2 /bin/bash
root@f6551ff51e72:/# echo $PATH
/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/opt/domjudge/domserver/bin