From a1739d9743f5bd5f2248b404acd6b401aac31ba2 Mon Sep 17 00:00:00 2001
From: Frank Sauerburger <frank@sauerburger.com>
Date: Wed, 9 Aug 2017 14:43:57 +0200
Subject: [PATCH] Use doxec version 0.2.0

Update the docker image to use doxec version 0.2.0 with improved user interface.
---
 Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 97d09d6..3af01a2 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
-- 
GitLab