Comment activer php5-redis en utilisant cli?

Question

J'ai un récipient docker où je vois tous les modules php:

root@7b995118fc27:~# php -m 
[PHP Modules] 
Core 
ctype 
curl 
date 
dom 
ereg 
fileinfo 
filter 
ftp 
hash 
iconv 
json 
libxml 
mbstring 
mysqlnd 
openssl 
pcre 
PDO 
pdo_sqlite 
Phar 
posix 
readline 
Reflection 
session 
SimpleXML 
SPL 
sqlite3 
standard 
tokenizer 
xml 
xmlreader 
xmlwriter 
zlib 

[Zend Modules] 

Comme on peut le voir il n'y a pas php5-Redis dans cette liste. Lorsque je tente de l'installer je reçois un message disant qu'il est déjà installé:

root@7b995118fc27:~# apt-get install php5-redis 
Reading package lists... Done 
Building dependency tree  
Reading state information... Done 
php5-redis is already the newest version. 
0 upgraded, 0 newly installed, 0 to remove and 4 not upgraded. 

Ma version php est 5,6

root@7b995118fc27:~# php -v 
PHP 5.6.31 (cli) (built: Sep 15 2017 01:12:36) 
Copyright (c) 1997-2016 The PHP Group 
Zend Engine v2.6.0, Copyright (c) 1998-2016 Zend Technologies 

La seule conclusion (si je ne suis pas mal) est que le php5 -redis est installé mais pas activé.

C'est ce que j'ai dans le Dockerfile:

FROM php:5-apache 


RUN a2enmod rewrite 
RUN a2enmod expires 
RUN service apache2 restart 
RUN apachectl -M 


RUN apt-get update 
RUN apt-get install -y php5-redis 
RUN apt-get install -y redis-server 
RUN php -m 


COPY src/ /var/www/html 
EXPOSE 80 

CMD ["redis-server"] 

Alors, comment puis-je activer php5-Redis dans ce scénario?

Answer 1

Vous devrez ajouter ci-dessous pour activer la déclaration redis l'extension

RUN cp /etc/php5/mods-available/redis.ini /usr/local/etc/php/conf.d && ln -s /usr/lib/php5/20131226/redis.so /usr/local/lib/php/extensions/no-debug-non-zts-20131226/redis.so