diff --git a/.docker/Dockerfile b/.docker/Dockerfile index 40a9bc44af7c..b73cfa7b544c 100644 --- a/.docker/Dockerfile +++ b/.docker/Dockerfile @@ -1,5 +1,8 @@ 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 +12,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} /var/www/phd /var/www/doc-base RUN echo 'memory_limit = 512M' >> /usr/local/etc/php/conf.d/local.ini diff --git a/Makefile b/Makefile index 06fb38cb2072..a677e3a21f22 100644 --- a/Makefile +++ b/Makefile @@ -28,5 +28,5 @@ php: .docker/built build: .docker/built .docker/built: - docker build .docker -t php/doc-en + docker build .docker -t php/doc-en --build-arg UID=$(CURRENT_UID) --build-arg GID=$(CURRENT_GID) touch .docker/built