mirror of
https://github.com/docker-library/php.git
synced 2025-08-03 01:12:37 +00:00
Add ini-name
to ext-install to pass along to ext-enable
Support an absolute path for --ini-name
This commit is contained in:
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
@ -103,7 +103,15 @@ for module in $modules; do
|
|||||||
continue
|
continue
|
||||||
fi
|
fi
|
||||||
|
|
||||||
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
case "$iniName" in
|
||||||
|
/*)
|
||||||
|
# allow an absolute path
|
||||||
|
ini="$iniName"
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
ini="$PHP_INI_DIR/conf.d/${iniName:-"docker-php-ext-$ext.ini"}"
|
||||||
|
;;
|
||||||
|
esac
|
||||||
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
if ! grep -q "$line" "$ini" 2>/dev/null; then
|
||||||
echo "$line" >> "$ini"
|
echo "$line" >> "$ini"
|
||||||
fi
|
fi
|
||||||
|
@ -19,7 +19,7 @@ fi
|
|||||||
cd /usr/src/php/ext
|
cd /usr/src/php/ext
|
||||||
|
|
||||||
usage() {
|
usage() {
|
||||||
echo "usage: $0 [-jN] ext-name [ext-name ...]"
|
echo "usage: $0 [-jN] [--ini-name file.ini] ext-name [ext-name ...]"
|
||||||
echo " ie: $0 gd mysqli"
|
echo " ie: $0 gd mysqli"
|
||||||
echo " $0 pdo pdo_mysql"
|
echo " $0 pdo pdo_mysql"
|
||||||
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
echo " $0 -j5 gd mbstring mysqli pdo pdo_mysql shmop"
|
||||||
@ -41,15 +41,17 @@ usage() {
|
|||||||
echo 'the output of "php -i" to see which modules are already loaded.'
|
echo 'the output 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,ini-name:,jobs:' -- "$@" || { usage >&2 && false; })"
|
||||||
eval set -- "$opts"
|
eval set -- "$opts"
|
||||||
|
|
||||||
j=1
|
j=1
|
||||||
|
iniName=
|
||||||
while true; do
|
while true; do
|
||||||
flag="$1"
|
flag="$1"
|
||||||
shift
|
shift
|
||||||
case "$flag" in
|
case "$flag" in
|
||||||
--help|-h|'-?') usage && exit 0 ;;
|
--help|-h|'-?') usage && exit 0 ;;
|
||||||
|
--ini-name) iniName="$1" && shift ;;
|
||||||
--jobs|-j) j="$1" && shift ;;
|
--jobs|-j) j="$1" && shift ;;
|
||||||
--) break ;;
|
--) break ;;
|
||||||
*)
|
*)
|
||||||
@ -108,7 +110,7 @@ for ext in $exts; do
|
|||||||
-maxdepth 1 \
|
-maxdepth 1 \
|
||||||
-name '*.so' \
|
-name '*.so' \
|
||||||
-exec basename '{}' ';' \
|
-exec basename '{}' ';' \
|
||||||
| xargs -r docker-php-ext-enable
|
| xargs -r docker-php-ext-enable ${iniName:+--ini-name "$iniName"}
|
||||||
make -j"$j" clean
|
make -j"$j" clean
|
||||||
cd "$popDir"
|
cd "$popDir"
|
||||||
done
|
done
|
||||||
|
Reference in New Issue
Block a user