diff --git a/Dockerfile b/Dockerfile index e769975a2463cf9944ad5784a54c6eb1adf31d8d..ec2f62a0691e380db81d6bd7ff9502fc5810d2d3 100644 --- a/Dockerfile +++ b/Dockerfile @@ -9,6 +9,15 @@ RUN sed -i "s|name\: jupyter-example-profile|name\: base|g" /tmp/environment.yml USER $NB_USER RUN conda env update -f /tmp/environment.yml # All packages specified in environment.yml are installed in the base environment +# Execute postBuild script +ADD postBuild.sh /tmp/postBuild.sh +# Make the file executable (TODO: is this still needed?) +USER root +RUN chmod +x /tmp/postBuild.sh +# +USER $NB_USER +RUN /tmp/postBuild.sh + # Cleanup conda packages RUN conda clean --all -f -y