fix workspace DockerFile

This commit is contained in:
Wuweiming 2022-05-09 10:31:31 +08:00
parent a285caa18f
commit baeb2a2cb6

View File

@ -1750,7 +1750,8 @@ RUN set -eux; \
make &&\
make install &&\
rm /tmp/libevent.tar.gz &&\
docker-php-ext-install sockets &&\
echo "extension=sockets.so" >> /etc/php/${LARADOCK_PHP_VERSION}/mods-available/sockets.ini && \
ln -s /etc/php/${LARADOCK_PHP_VERSION}/mods-available/sockets.ini /etc/php/${LARADOCK_PHP_VERSION}/cli/conf.d/20-sockets.ini && \
curl -L -o /tmp/event.tar.gz http://pecl.php.net/get/event-3.0.6.tgz &&\
mkdir -p /tmp/event-php &&\
tar -C /tmp/event-php -zxvf /tmp/event.tar.gz --strip 1 &&\
@ -1760,11 +1761,13 @@ RUN set -eux; \
make &&\
make install &&\
rm /tmp/event.tar.gz &&\
docker-php-ext-enable event &&\
echo "extension=event.so" >> /etc/php/${LARADOCK_PHP_VERSION}/mods-available/event.ini && \
ln -s /etc/php/${LARADOCK_PHP_VERSION}/mods-available/event.ini /etc/php/${LARADOCK_PHP_VERSION}/cli/conf.d/20-event.ini && \
php -m | grep -q 'event' \
;fi
#
#--------------------------------------------------------------------------
# Final Touch