diff --git a/Docker/dolfin_dic/Dockerfile b/Docker/dolfin_dic/Dockerfile index 43b42fb50d43f1de9aad2ff15127e76b935c25a4..73647de0b813aab4fba0027939ab415d27ab9239 100644 --- a/Docker/dolfin_dic/Dockerfile +++ b/Docker/dolfin_dic/Dockerfile @@ -1,6 +1,5 @@ FROM dolfin_dic-dev -RUN apt-get update; apt-get install -y git; apt-get clean; rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/* WORKDIR /home/fenics/code RUN git clone https://github.com/mgenet/myPythonLibrary.git RUN git clone https://github.com/mgenet/myVTKPythonLibrary.git