workspace redis extension use apt install. (#1990)

This commit is contained in:
Shao Yu-Lung (Allen) 2019-02-12 18:37:38 +08:00 committed by GitHub
parent fc3355a9cc
commit 931f99ed0f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -374,10 +374,7 @@ RUN if [ ${INSTALL_AMQP} = true ]; then \
ARG INSTALL_PHPREDIS=false ARG INSTALL_PHPREDIS=false
RUN if [ ${INSTALL_PHPREDIS} = true ]; then \ RUN if [ ${INSTALL_PHPREDIS} = true ]; then \
# Install Php Redis extension apt-get install -yqq php-redis \
printf "\n" | pecl -q install -o -f redis && \
echo "extension=redis.so" >> /etc/php/${LARADOCK_PHP_VERSION}/mods-available/redis.ini && \
phpenmod redis \
;fi ;fi
########################################################################### ###########################################################################