path: root/support/docker/Dockerfile
diff options
authorGravatar Yann E. MORIN <yann.morin.1998@free.fr>2018-02-04 15:44:26 +0100
committerGravatar Peter Korsgaard <peter@korsgaard.com>2018-02-04 21:58:59 +0100
commita874fc151a3188721543110021e45de9af33b353 (patch)
tree5dd68be4fa971756fa61db1df603295316ef2648 /support/docker/Dockerfile
parent5fdf5e4099ac8ca624b27f3b01d2a3eafb13e4f9 (diff)
support/dockker: create and push tagged images
Currently, we refer to the latest version of the image, which means we can't guarantee any reproducibility. Also, it measn we can't have a separate images for the maintenance branches (especially the LTS) and master. Update the comment in the Dockerfile to create and push tagged images. Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr> Cc: Arnout Vandecappelle <arnout@mind.be> Cc: Peter Korsgaard <peter@korsgaard.com> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
Diffstat (limited to 'support/docker/Dockerfile')
1 files changed, 3 insertions, 3 deletions
diff --git a/support/docker/Dockerfile b/support/docker/Dockerfile
index f18d195f37..474e073c61 100644
--- a/support/docker/Dockerfile
+++ b/support/docker/Dockerfile
@@ -1,7 +1,7 @@
# This Dockerfile generates the docker image that gets used by Gitlab CI
-# To build it:
-# sudo docker build -t buildroot/base support/docker
-# sudo docker push buildroot/base
+# To build it (YYYYMMDD.HHMM is the current date and time in UTC):
+# sudo docker build -t buildroot/base:YYYYMMDD.HHMM support/docker
+# sudo docker push buildroot/base:YYYYMMDD.HHMM
# 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