Create /duneci/modules in base image.

base-8/Dockerfile

@@ -30,4 +30,5 @@ RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \
 RUN adduser --disabled-password --home /duneci duneci
 USER duneci
 WORKDIR /duneci
+RUN mkdir -p /duneci/modules
 COPY opts.clang opts.gcc /duneci/

base-9/Dockerfile

@@ -30,4 +30,5 @@ RUN apt-get update && apt-get dist-upgrade --no-install-recommends --yes \
 RUN adduser --disabled-password --home /duneci duneci
 USER duneci
 WORKDIR /duneci
+RUN mkdir -p /duneci/modules
 COPY opts.clang opts.gcc /duneci/

dune-fufem-git/Dockerfile

 FROM duneci/dune:git
 
 USER duneci
-WORKDIR /duneci
-RUN mkdir -p modules
-
 WORKDIR /duneci/modules
 RUN git clone https://git.imp.fu-berlin.de/agnumpde/dune-elasticity.git
 RUN git clone https://git.imp.fu-berlin.de/agnumpde/dune-fufem.git

dune-fufem/Dockerfile

@@ -7,9 +7,6 @@ RUN apt-get update && apt-get install --no-install-recommends --yes \
   && apt-get clean && rm -rf /var/lib/apt/lists/*
 
 USER duneci
-WORKDIR /duneci
-RUN mkdir -p modules
-
 WORKDIR /duneci/modules
 RUN git clone -b releases/2.4-1 https://git.imp.fu-berlin.de/agnumpde/dune-elasticity.git
 RUN git clone -b releases/2.4-1 https://git.imp.fu-berlin.de/agnumpde/dune-fufem.git

dune-git/Dockerfile

@@ -11,8 +11,6 @@ RUN apt-get update && apt-get install --no-install-recommends --yes \
   && apt-get clean && rm -rf /var/lib/apt/lists/*
 
 USER duneci
-WORKDIR /duneci
-RUN mkdir -p modules
 WORKDIR /duneci/modules
 RUN git clone https://gitlab.dune-project.org/core/dune-common.git
 RUN git clone https://gitlab.dune-project.org/core/dune-geometry.git