Installation de Redis.

2026-05-28 08:13:43 +02:00
parent 559e71abb7
commit 85bc2ced1b
4 changed files with 22 additions and 1 deletions
@@ -45,6 +45,12 @@ RUN if [ "$WITH_MEMCACHED" = "true" ]; then \
    pie install php-memcached/php-memcached; \
    fi

+# Installation de Redis
+ARG WITH_REDIS=false
+RUN if [ "$WITH_REDIS" = "true" ]; then \
+    pie install phpredis/phpredis; \
+    fi
+
 RUN apt-get clean \
    && rm -rf /var/lib/apt/lists/*