#15 [ 9/16] RUN TIMEFORMAT='time: %3R' bash -c 'time /tmp/install-base-env.bash'
&& rm -rf /tmp/install-base-env.bash /tmp/env
#15 CACHED
#16 [11/16] RUN if [ ! -d "/home/jovyan" ]; then /usr/bin/install -o jov
yan -g jovyan -d "/home/jovyan"; fi
#16 CACHED
#17 [12/16] WORKDIR /home/jovyan
#17 CACHED
#18 [ 5/18] RUN apt-get -qq update && apt-get -qq install --yes --no-install
-recommends gettext-base less unzip > /dev/null &&
apt-get -qq purge && apt-get -qq clean && rm -rf /var/lib/apt/lists/*
#18 CACHED
#19 [ 2/18] RUN apt-get -qq update && apt-get -qq install --yes --no-install
-recommends locales > /dev/null && apt-get -qq purge && apt-get -qq clea
n && rm -rf /var/lib/apt/lists/*
#19 CACHED
#20 [14/16] COPY --chown=1000:1000 src/ /home/jovyan/