mirror of
https://github.com/docker-library/php.git
synced 2025-08-08 08:17:16 +00:00
Explain that some modules listed in docker-php-ext-*
scripts are already compiled in
This commit is contained in:
@ -18,13 +18,12 @@ fi
|
|||||||
|
|
||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
ext="$1"
|
usage() {
|
||||||
if [ -z "$ext" ] || [ ! -d "$ext" ]; then
|
echo "usage: $0 ext-name [configure flags]"
|
||||||
echo >&2 "usage: $0 ext-name [configure flags]"
|
echo " ie: $0 gd --with-jpeg-dir=/usr/local/something"
|
||||||
echo >&2 " ie: $0 gd --with-jpeg-dir=/usr/local/something"
|
echo
|
||||||
echo >&2
|
echo 'Possible values for ext-name:'
|
||||||
echo >&2 'Possible values for ext-name:'
|
find . \
|
||||||
find /usr/src/php/ext \
|
|
||||||
-mindepth 2 \
|
-mindepth 2 \
|
||||||
-maxdepth 2 \
|
-maxdepth 2 \
|
||||||
-type f \
|
-type f \
|
||||||
@ -33,6 +32,14 @@ if [ -z "$ext" ] || [ ! -d "$ext" ]; then
|
|||||||
| xargs -n1 basename \
|
| xargs -n1 basename \
|
||||||
| sort \
|
| sort \
|
||||||
| xargs
|
| xargs
|
||||||
|
echo
|
||||||
|
echo 'Some of the above modules are already compiled into PHP; please check'
|
||||||
|
echo 'the ouptut of "php -i" to see which modules are already loaded.'
|
||||||
|
}
|
||||||
|
|
||||||
|
ext="$1"
|
||||||
|
if [ -z "$ext" ] || [ ! -d "$ext" ]; then
|
||||||
|
usage >&2
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
shift
|
shift
|
||||||
|
@ -11,6 +11,9 @@ usage() {
|
|||||||
echo
|
echo
|
||||||
echo 'Possible values for module-name:'
|
echo 'Possible values for module-name:'
|
||||||
echo $(find -maxdepth 1 -type f -name '*.so' -exec basename '{}' ';' | sort)
|
echo $(find -maxdepth 1 -type f -name '*.so' -exec basename '{}' ';' | sort)
|
||||||
|
echo
|
||||||
|
echo 'Some of the above modules are already compiled into PHP; please check'
|
||||||
|
echo 'the ouptut of "php -i" to see which modules are already loaded.'
|
||||||
}
|
}
|
||||||
|
|
||||||
opts="$(getopt -o 'h?' --long 'help,ini-name:' -- "$@" || { usage >&2 && false; })"
|
opts="$(getopt -o 'h?' --long 'help,ini-name:' -- "$@" || { usage >&2 && false; })"
|
||||||
|
@ -36,6 +36,9 @@ usage() {
|
|||||||
| xargs -n1 basename \
|
| xargs -n1 basename \
|
||||||
| sort \
|
| sort \
|
||||||
| xargs
|
| xargs
|
||||||
|
echo
|
||||||
|
echo 'Some of the above modules are already compiled into PHP; please check'
|
||||||
|
echo 'the ouptut of "php -i" to see which modules are already loaded.'
|
||||||
}
|
}
|
||||||
|
|
||||||
opts="$(getopt -o 'h?j:' --long 'help,jobs:' -- "$@" || { usage >&2 && false; })"
|
opts="$(getopt -o 'h?j:' --long 'help,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
|
Reference in New Issue
Block a user