diff --git a/Dockerfile b/Dockerfile index 97d09d60fbc11bbc91a679e553a206bdace8d419..3af01a25d54a6f495531ab34f7e0eb13335c128e 100644 --- a/Dockerfile +++ b/Dockerfile @@ -10,6 +10,6 @@ RUN apt-get update && apt-get install -y \ && rm -rf /var/lib/apt/lists/* # install doxec -RUN git clone https://srv.sauerburger.com/esel/doxec.git && cd doxec && git checkout b0ce804f && python3 setup.py install +RUN git clone https://srv.sauerburger.com/frank/doxec.git && cd doxec && git checkout v0.2.0 && python3 setup.py install RUN echo "" | adduser --disabled-password student && echo "student ALL=(ALL) NOPASSWD: ALL" >> /etc/sudoers USER student