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

Merge pull request #172 from mlocati/check-enviro 

Let's be sure that this script is executed in a correct Docker image
pull/173/head
Michele Locati 2020-09-21 15:50:16 +02:00 committed by GitHub
parent a82bb5cc91 80e3497c2f
commit 317a894a5a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 0 deletions
Show Stats 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 errexit
set -o nounset 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 # Reset the Internal Field Separator
resetIFS() { resetIFS() {
IFS=' IFS='