public-mirrors/docker-php-extension-installer
1
0
Fork 0
mirror of https://github.com/mlocati/docker-php-extension-installer synced 2025-05-08 16:17:20 +00:00
Code Activity

Let's be sure that this script is executed in a correct Docker image

Browse source 
Test: xdebug
This commit is contained in:
Michele Locati 2020-09-21 15:38:20 +02:00
parent a82bb5cc91
commit 80e3497c2f
No known key found for this signature in database
GPG key ID: 98B7CE2E7234E28B
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
install-php-extensions
View file

@ -12,6 +12,11 @@
set -o errexit
set -o nounset
if ! which docker-php-ext-configure >/dev/null || ! which docker-php-ext-enable >/dev/null || ! which docker-php-ext-install >/dev/null || ! which docker-php-source >/dev/null; then
printf 'The script %s is meant to be used with official Docker PHP Images - https://hub.docker.com/_/php\n' "$0" >&2
exit 1
fi
# Reset the Internal Field Separator
resetIFS() {
IFS='