change workspace ubuntu sources.list file

This commit is contained in:
alone
2019-11-18 03:24:27 +08:00
parent aff7d9d615
commit 461e05d677
2 changed files with 90 additions and 0 deletions

View File

@ -36,6 +36,15 @@ ENV PUID ${PUID}
ARG PGID=1000
ENV PGID ${PGID}
COPY ./sources.sh /tmp/sources.sh
RUN if [ ${CHANGE_SOURCE} = true ]; then \
chmod +x /tmp/sources.sh && \
# bash /tmp/sources.sh aliyun
# ./tmp/sources.sh aliyun
/bin/bash /tmp/sources.sh aliyun && \
;fi
# always run apt update when start and after add new source list, then clean up at end.
RUN set -xe; \
apt-get update -yqq && \