mirror
/
repo2docker
kopia lustrzana https://github.com/jupyterhub/repo2docker
1
0
Forkuj 0
Kod Zgłoszenia Projekty Wydania Wiki Aktywność

Set REPO_PATH as late as possible 

Leads to maximum cache re-use
pull/507/head
yuvipanda 2018-12-17 14:58:49 -08:00
rodzic 3dfe0a8143
commit 0f3076387a
1 zmienionych plików z 5 dodań i 5 usunięć
Pokaż statystyki Ściągnij plik aktualizacji Ściągnij plik porównania Expand all files Collapse all files

10
repo2docker/buildpacks/base.py
Wyświetl plik

@ -38,15 +38,10 @@ ARG NB_UID
ENV USER ${NB_USER} ENV USER ${NB_USER}
ENV HOME /home/${NB_USER} ENV HOME /home/${NB_USER}
# Allow target path repo is cloned to be configurable
ARG REPO_PATH=${HOME}
ENV REPO_PATH ${REPO_PATH}
RUN adduser --disabled-password \ RUN adduser --disabled-password \
--gecos "Default user" \ --gecos "Default user" \
--uid ${NB_UID} \ --uid ${NB_UID} \
${NB_USER} ${NB_USER}
WORKDIR ${REPO_PATH}
RUN wget --quiet -O - https://deb.nodesource.com/gpgkey/nodesource.gpg.key | apt-key add - && \ RUN wget --quiet -O - https://deb.nodesource.com/gpgkey/nodesource.gpg.key | apt-key add - && \
DISTRO="bionic" && \ DISTRO="bionic" && \
@ -102,6 +97,11 @@ COPY {{ src }} {{ dst }}
{{sd}} {{sd}}
{% endfor %} {% endfor %}
# Allow target path repo is cloned to be configurable
ARG REPO_PATH=${HOME}
ENV REPO_PATH ${REPO_PATH}
WORKDIR ${REPO_PATH}
# Copy and chown stuff. This doubles the size of the repo, because # Copy and chown stuff. This doubles the size of the repo, because
# you can't actually copy as USER, only as root! Thanks, Docker! # you can't actually copy as USER, only as root! Thanks, Docker!
USER root USER root