diff --git a/workspace/Dockerfile b/workspace/Dockerfile index ffad2d90..0bed95e7 100644 --- a/workspace/Dockerfile +++ b/workspace/Dockerfile @@ -559,8 +559,9 @@ RUN if [ ${INSTALL_GEARMAN} = true ]; then \ ARG INSTALL_PHPREDIS=false RUN if [ ${INSTALL_PHPREDIS} = true ]; then \ - apt-get update -yqq && \ - apt-get install -yqq php-redis \ + pecl -q install -o -f redis && \ + echo "extension=redis.so" >> /etc/php/${LARADOCK_PHP_VERSION}/mods-available/redis.ini && \ + phpenmod redis \ ;fi ###########################################################################