From bda562d50950036bc9ebbf93401b9f8bd28bebfc Mon Sep 17 00:00:00 2001 From: "Yann E. MORIN" Date: Tue, 23 Nov 2021 21:56:54 +0100 Subject: [PATCH] support/docker: don't use sudo to build On a properly setup machine, it is totally useless to use sudo to run docker; it is very bad practice. Instead, users really should add themselves to the docker group. Signed-off-by: Yann E. MORIN Cc: Romain Naour Cc: Arnout Vandecappelle (Essensium/Mind) Reviewed-by: Romain Naour Signed-off-by: Peter Korsgaard (cherry picked from commit 9f6a2dbe030b10eda2797430a87fffc34f8c4685) Signed-off-by: Peter Korsgaard --- support/docker/Dockerfile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/support/docker/Dockerfile b/support/docker/Dockerfile index 9bd62a04fe..f31477c023 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 (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 +# docker build -t buildroot/base:YYYYMMDD.HHMM support/docker +# 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