From 931f99ed0f3db50b94455d4c00907b247ae0492e Mon Sep 17 00:00:00 2001
From: "Shao Yu-Lung (Allen)" <bestlong168@gmail.com>
Date: Tue, 12 Feb 2019 18:37:38 +0800
Subject: [PATCH] workspace redis extension use apt install. (#1990)

---
 workspace/Dockerfile | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

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