diff --git a/docker/README.md b/docker/README.md index 9b46f86..1c59cda 100644 --- a/docker/README.md +++ b/docker/README.md @@ -263,8 +263,10 @@ where `version` is the DOMjudge version to create the images for, e.g. `5.3.0`. To build domjudge with local sources, run ```bash - tar --exclude-vcs -czf /docker/domjudge.tar.gz - cd /docker + dj_packaging_dir= + dj_source_dir = + tar --exclude-vcs -czf "${dj_packaging_dir}/docker/domjudge.tar.gz" -C $(dirname "$dj_source_dir") $(basename "$dj_source_dir") + cd ${dj_packaging_dir}/docker" docker build -t domjudge -f domserver/Dockerfile . ``` Note that the source directory name has to match `domjudge-*`.