From 008719ada8f12171f24aa0208b729931cf986650 Mon Sep 17 00:00:00 2001 From: crasbe Date: Thu, 23 Apr 2026 12:10:54 +0200 Subject: [PATCH] makefiles/docker: add user group ID to user command --- makefiles/docker.inc.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/makefiles/docker.inc.mk b/makefiles/docker.inc.mk index 2e609d4cfb12..bb2b71970d99 100644 --- a/makefiles/docker.inc.mk +++ b/makefiles/docker.inc.mk @@ -145,7 +145,7 @@ _docker_is_podman = $(shell $(DOCKER) --version | grep podman 2>/dev/null) # - allocate a pseudo-tty # - remove container on exit # - set username/UID to executor -DOCKER_USER ?= $$(id -u) +DOCKER_USER ?= $$(id -u):$$(id -g) DOCKER_USER_OPT = $(if $(_docker_is_podman),--userns keep-id,--user $(DOCKER_USER)) DOCKER_RUN_FLAGS ?= --rm --tty $(DOCKER_USER_OPT)