mirror of
https://github.com/php/doc-en.git
synced 2026-03-23 23:32:18 +01:00
a4bcdd05f1
The current user and group ID are passed passed to the docker build command and the ownership of the cloned directories are changed to them. This gets rid of git's "dubious ownership" error. Without this changes I got an error: > $ make > docker run --rm -v :/var/www/en -w /var/www -u 1000:1000 php/doc-en > configure.php on PHP 8.2.29, libxml 2.9.14 > > fatal: detected dubious ownership in repository at '/var/www/doc-base' > To add an exception for this directory, call: > > git config --global --add safe.directory /var/www/doc-base > doc-base/temp clean up FAILED. > make: *** [Makefile:22: xhtml] Fehler 1 Resolves: https://github.com/php/doc-en/pull/4645
23 lines
734 B
Docker
23 lines
734 B
Docker
FROM php:8.2-cli
|
|
ARG UID=1000
|
|
ARG GID=1000
|
|
|
|
RUN apt-get update && \
|
|
apt-get install -y git default-jre-headless
|
|
|
|
WORKDIR /var/www
|
|
|
|
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 && \
|
|
chown -R $UID:$GID phd doc-base
|
|
|
|
RUN echo 'memory_limit = 512M' >> /usr/local/etc/php/conf.d/local.ini
|
|
|
|
ENV FORMAT=xhtml
|
|
|
|
CMD php doc-base/configure.php --disable-segfault-error && \
|
|
php phd/render.php --docbook doc-base/.manual.xml --output=/var/www/en/output --package PHP --format ${FORMAT}
|