Référé ce lien https://anton.logvinenko.name/en/blog/how-to-install-redis-and-redis-php-client.html
Et fait en suivant les étapes
PhpRedis pour PHP 7 (Ignorez-le si vous avez différent PHP version)
Installer le package requis
apt-get install php7.0-dev
Télécharger PhpRedis
cd /tmp
wget https://github.com/phpredis/phpredis/archive/php7.Zip -O phpredis.Zip
Mais, https://github.com/phpredis/phpredis/archive/php7.Zip fichier introuvable pour l'installation.
Essayez d'utiliser cette URL https://github.com/phpredis/phpredis/archive/3.1.4.Zip
wget https://github.com/phpredis/phpredis/archive/3.1.4.Zip -O phpredis.Zip
Hier, j'ai installé Redis sur ma box Vagrant (/etc/php/7.0
):
Sudo pecl install redis
Sudo service php7.0-fpm restart
(facultatif: exécutez php -m
pour lister les modules php).
Maintenant, vous pouvez utiliser la classe Redis
dans votre code php.
Je suis toujours à la recherche d'une méthode simple pour faire les choses et j'ai trouvé un repo d'ubuntu:
Sudo apt-get install php-redis
Après l'installation, vous devez redémarrer le service Apache.
Ce GitHub est une excellente ressource pour les utilisateurs de MAMP.
Pour les utilisateurs Mac:
redis.so
du sous-répertoire approprié du repo basé sur le numéro de version majeur et mineur X.Y ( suivant le terme )./Applications/MAMP/bin/php/phpX.Y.X/lib/php/extensions/no-debug-non-zts-xxxxxxxx
extension=redis.so
à la fin de php.ini