From 05eb04ab2a319754d04bd76dea639bfcfaa7d909 Mon Sep 17 00:00:00 2001 From: lacatoire Date: Mon, 9 Mar 2026 16:37:22 +0100 Subject: [PATCH] [ES] Sync Dockerfile and Makefile: add UID/GID args for non-root builds --- .docker/Dockerfile | 5 ++++- Makefile | 6 ++++-- 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/.docker/Dockerfile b/.docker/Dockerfile index 40a9bc44a..8f1f3b78b 100644 --- a/.docker/Dockerfile +++ b/.docker/Dockerfile @@ -1,4 +1,6 @@ FROM php:8.2-cli +ARG UID=1000 +ARG GID=1000 RUN apt-get update && \ apt-get install -y git default-jre-headless @@ -9,7 +11,8 @@ ADD https://api.github.com/repos/php/phd/git/refs/heads/master version-phd.json ADD https://api.github.com/repos/php/doc-base/git/refs/heads/master version-doc-base.json RUN git clone --depth 1 https://github.com/php/phd.git && \ - git clone --depth 1 https://github.com/php/doc-base.git + git clone --depth 1 https://github.com/php/doc-base.git && \ + chown -R $UID:$GID phd doc-base RUN echo 'memory_limit = 512M' >> /usr/local/etc/php/conf.d/local.ini diff --git a/Makefile b/Makefile index 8b0cb04e7..8464e1a10 100644 --- a/Makefile +++ b/Makefile @@ -10,7 +10,7 @@ CURRENT_GID := $(shell id -g) # volumes to our Docker runs. # -PATHS := -v .:/var/www/en +PATHS := -v ${PWD}:/var/www/en ifneq ($(wildcard ../doc-base/LICENSE),) PATHS += -v ${PWD}/../doc-base:/var/www/doc-base endif @@ -28,5 +28,7 @@ php: .docker/built build: .docker/built .docker/built: - docker build .docker -t php/doc-en + docker build\ + --build-arg UID=${CURRENT_UID} --build-arg GID=${CURRENT_GID}\ + .docker -t php/doc-en touch .docker/built