PHP7 est une version importante du langage PHP, avec de meilleures performances et une consommation de ressources plus faible. Dans les systèmes Ubuntu, PHP7 peut être facilement installé à l'aide du gestionnaire de package APT.
sudo apt-get install php7.0
Une fois l'installation terminée, exécutez la commande suivante pour vérifier que l'installation est réussie:
php -v
Si les informations de version de PHP 7.0.x s'affichent, cela signifie que l'installation de PHP7 est réussie.
Redis est une base de données de valeur clé efficace couramment utilisée dans la gestion du cache et de la session. PHP doit prendre en charge les fonctions Redis à travers des extensions, et le processus d'installation est décrit ci-dessous.
PECL est un outil de gestion des packages pour les extensions de PHP. Vous devez l'installer avant d'installer l'extension redis:
sudo apt-get install php-pear
Installez le serveur Redis:
sudo apt-get install redis-server
Exécutez la commande suivante pour installer l'extension redis php:
sudo pecl install redis
Une fois l'installation terminée, exécutez la commande suivante pour confirmer si l'extension est installée avec succès:
php -m | grep redis
Si la sortie contient Redis, l'extension est chargée avec succès.
Après avoir installé l'extension, vous devez activer l'extension redis dans le fichier de configuration PHP. Accédez au répertoire de configuration PHP et modifiez le fichier php.ini:
cd /etc/php/7.0/cli/
sudo nano php.ini
Ajoutez la configuration suivante au fichier:
extension=redis.so
Après enregistrer et sortir, redémarrez le service PHP pour rendre la configuration à prendre effet:
sudo service php7.0-fpm restart
Après avoir terminé les étapes ci-dessus, les extensions PHP7 et Redis sur le système Ubuntu ont été installées et configurées avec succès, et vous pouvez commencer à utiliser Redis pour accélérer les applications PHP.