public-mirrors
/
docker-php-extension-installer
mirror of https://github.com/mlocati/docker-php-extension-installer
1
0
Fork 0
Code

Fix README headings

pull/720/head
Michele Locati 2023-03-09 13:18:29 +01:00
parent eff33351f6
commit 2084459880
No known key found for this signature in database
GPG Key ID: 98B7CE2E7234E28B
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@ -55,7 +55,7 @@ RUN curl -sSL https://github.com/mlocati/docker-php-extension-installer/releases
opcache
```
### Copying the script from a Docker image
#### Copying the script from a Docker image
```Dockerfile
FROM php:7.2-cli
@ -64,7 +64,9 @@ COPY --from=mlocati/php-extension-installer /usr/bin/install-php-extensions /usr
RUN install-php-extensions gd xdebug
```
Alternative that does not increase the image size with the tool
#### Using the script of a Docker image
```Dockerfile
RUN --mount=type=bind,from=mlocati/php-extension-installer:1.5,source=/usr/bin/install-php-extensions,target=/usr/local/bin/install-php-extensions \
install-php-extensions pcntl