Page Menu
Home
DevCentral
Search
Configure Global Search
Log In
Files
F4793351
docker-php-ext-configure
No One
Temporary
Actions
Download File
Edit File
Delete File
View Transforms
Subscribe
Mute Notifications
Award Token
Flag For Later
Size
432 B
Referenced Files
None
Subscribers
None
docker-php-ext-configure
View Options
#!/bin/bash
set
-e
ext
=
"
$1
"
extDir
=
"/usr/src/php/ext/
$ext
"
if
[
-z
"
$ext
"
-o ! -d
"
$extDir
"
]
;
then
echo
>
&
2
"usage:
$0
ext-name [configure flags]"
echo
>
&
2
" ie:
$0
gd --with-jpeg-dir=/usr/local/something"
echo
>
&
2
echo
>
&
2
'Possible values for ext-name:'
echo
>
&
2
$(
find /usr/src/php/ext -mindepth
2
-maxdepth
2
-type f -name
'config.m4'
|
cut -d/ -f6
|
sort
)
exit
1
fi
shift
set
-x
cd
"
$extDir
"
phpize
./configure
"
$@
"
File Metadata
Details
Attached
Mime Type
text/x-shellscript
Expires
Fri, Feb 28, 21:45 (1 d, 17 h)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
2435548
Default Alt Text
docker-php-ext-configure (432 B)
Attached To
Mode
rDPHPVIIFPM Docker image to install nginx, PHP 7 and fpm
Attached
Detach File
Event Timeline
Log In to Comment