From f35d5a7f10b080f5c64c36c4a1e8c923608f4eb9 Mon Sep 17 00:00:00 2001
From: Patrick Kivits <p.kivits@litebit.nl>
Date: Tue, 2 Mar 2021 10:20:06 +0100
Subject: [PATCH] Install workspace redis with pecl

---
 workspace/Dockerfile | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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
 
 ###########################################################################