diff --git a/php-fpm/Dockerfile-56 b/php-fpm/Dockerfile-56 index 1d8fd976..1b240c45 100644 --- a/php-fpm/Dockerfile-56 +++ b/php-fpm/Dockerfile-56 @@ -87,7 +87,7 @@ RUN if [ ${INSTALL_XDEBUG} = false -a ${INSTALL_BLACKFIRE} = true ]; then \ ARG INSTALL_PHPREDIS=false RUN if [ ${INSTALL_PHPREDIS} = true ]; then \ # Install Php Redis Extension - pecl install -o -f redis \ + printf "\n" | pecl install -o -f redis \ && rm -rf /tmp/pear \ && docker-php-ext-enable redis \ ;fi diff --git a/php-fpm/Dockerfile-70 b/php-fpm/Dockerfile-70 index b643a384..1028fbc9 100644 --- a/php-fpm/Dockerfile-70 +++ b/php-fpm/Dockerfile-70 @@ -84,7 +84,7 @@ RUN if [ ${INSTALL_XDEBUG} = false -a ${INSTALL_BLACKFIRE} = true ]; then \ ARG INSTALL_PHPREDIS=false RUN if [ ${INSTALL_PHPREDIS} = true ]; then \ # Install Php Redis Extension - pecl install -o -f redis \ + printf "\n" | pecl install -o -f redis \ && rm -rf /tmp/pear \ && docker-php-ext-enable redis \ ;fi diff --git a/workspace/Dockerfile-56 b/workspace/Dockerfile-56 index a5ba7889..5e775e54 100644 --- a/workspace/Dockerfile-56 +++ b/workspace/Dockerfile-56 @@ -194,6 +194,19 @@ RUN if [ ${INSTALL_MONGO} = true ]; then \ ln -s /etc/php/5.6/mods-available/mongodb.ini /etc/php/5.6/cli/conf.d/30-mongodb.ini \ ;fi +##################################### +# PHP REDIS EXTENSION FOR PHP 5.6 +##################################### + +ARG INSTALL_PHPREDIS=false +ENV INSTALL_PHPREDIS ${INSTALL_PHPREDIS} +RUN if [ ${INSTALL_PHPREDIS} = true ]; then \ + # Install Php Redis extension + printf "\n" | pecl -q install -o -f redis && \ + echo "extension=redis.so" >> /etc/php/5.6/mods-available/redis.ini && \ + phpenmod redis \ +;fi + ##################################### # Drush: ##################################### diff --git a/workspace/Dockerfile-70 b/workspace/Dockerfile-70 index 3d1cde55..48443a2b 100644 --- a/workspace/Dockerfile-70 +++ b/workspace/Dockerfile-70 @@ -194,6 +194,19 @@ RUN if [ ${INSTALL_MONGO} = true ]; then \ ln -s /etc/php/7.0/mods-available/mongodb.ini /etc/php/7.0/cli/conf.d/30-mongodb.ini \ ;fi +##################################### +# PHP REDIS EXTENSION FOR PHP 7 +##################################### + +ARG INSTALL_PHPREDIS=false +ENV INSTALL_PHPREDIS ${INSTALL_PHPREDIS} +RUN if [ ${INSTALL_PHPREDIS} = true ]; then \ + # Install Php Redis extension + printf "\n" | pecl -q install -o -f redis && \ + echo "extension=redis.so" >> /etc/php/7.0/mods-available/redis.ini && \ + phpenmod redis \ +;fi + ##################################### # Drush: ##################################### diff --git a/workspace/Dockerfile-71 b/workspace/Dockerfile-71 index 72b3f770..cba070d5 100644 --- a/workspace/Dockerfile-71 +++ b/workspace/Dockerfile-71 @@ -192,7 +192,7 @@ RUN if [ ${INSTALL_MONGO} = true ]; then \ ;fi ##################################### -# PHP REDIS EXTENSION FOR PHP 7 +# PHP REDIS EXTENSION FOR PHP 7.1 ##################################### ARG INSTALL_PHPREDIS=false