From 98610ce0d8f84b7738cf6288444b0ee2e6348022 Mon Sep 17 00:00:00 2001 From: Martin Genet <martin.genet@polytechnique.edu> Date: Tue, 3 Jul 2018 15:24:50 +0200 Subject: [PATCH] No system update within Dockerfile --- Docker/dolfin_dic/Dockerfile | 1 - 1 file changed, 1 deletion(-) diff --git a/Docker/dolfin_dic/Dockerfile b/Docker/dolfin_dic/Dockerfile index 43b42fb..73647de 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 -- GitLab