diff --git a/Dockerfile b/Dockerfile index d8135ca..4818439 100644 --- a/Dockerfile +++ b/Dockerfile @@ -11,6 +11,7 @@ RUN apt-get update && \ echo "student ALL=(tt) /usr/local/bin/joj3" > /etc/sudoers.d/joj # install joint-teapot +# TODO: change it to FOCS gitea mirror for deployment RUN pip install --no-cache-dir git+https://mirror.ghproxy.com/https://github.com/BoYanZh/Joint-Teapot # install joj3 binary