Install workspace redis with pecl

2021-03-02 10:20:06 +01:00 · 2021-03-02 10:20:06 +01:00 · f35d5a7f10
commit f35d5a7f10
parent a3ec29ba11
1 changed files with 3 additions and 2 deletions
--- 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

 ###########################################################################