diff options
| -rw-r--r-- | support/docker/Dockerfile | 7 | ||||
| -rw-r--r-- | support/docker/apt-sources.list | 4 |
2 files changed, 11 insertions, 0 deletions
diff --git a/support/docker/Dockerfile b/support/docker/Dockerfile index 49b74b88bd..f18d195f37 100644 --- a/support/docker/Dockerfile +++ b/support/docker/Dockerfile @@ -3,7 +3,11 @@ # sudo docker build -t buildroot/base support/docker # sudo docker push buildroot/base +# We use a specific tag for the base image *and* the corresponding date +# for the repository., so do not forget to update the apt-sources.list +# file that is shipped next to this Dockerfile. FROM debian:stretch-20171210 + LABEL maintainer="Buildroot mailing list <buildroot@buildroot.org>" \ vendor="Buildroot" \ description="Container with everything needed to run Buildroot" @@ -11,6 +15,9 @@ description="Container with everything needed to run Buildroot" # Setup environment ENV DEBIAN_FRONTEND noninteractive +# This repository can be a bit slow at times. Don't panic... +COPY apt-sources.list /etc/apt/sources.list + # The container has no package lists, so need to update first RUN dpkg --add-architecture i386 && \ apt-get update -y && \ diff --git a/support/docker/apt-sources.list b/support/docker/apt-sources.list new file mode 100644 index 0000000000..789fb8fc17 --- /dev/null +++ b/support/docker/apt-sources.list @@ -0,0 +1,4 @@ +# Latest just before 20171210T000000Z: +deb [check-valid-until=no] http://snapshot.debian.org/archive/debian/20171209T220346Z/ stretch main +deb [check-valid-until=no] http://snapshot.debian.org/archive/debian/20171209T220346Z/ stretch-updates main +deb [check-valid-until=no] http://snapshot.debian.org/archive/debian-security/20171209T224618Z/ stretch/updates main |
