diff --git a/Dockerfile b/Dockerfile index 14e76df..4bdd81d 100644 --- a/Dockerfile +++ b/Dockerfile @@ -97,7 +97,7 @@ RUN mkdir "/home/${NB_USER}/work" && \ # Correct permissions # Do all this in a single RUN command to avoid duplicating all of the # files across image layers when the permissions change -RUN ls +RUN sleep 120 COPY --chown="${NB_UID}:${NB_GID}" ./initial-condarc "${CONDA_DIR}/.condarc" WORKDIR /tmp RUN set -x && \