Comment installer les extensions Redis et PHP sous Linux

Redis est un système de stockage clé-valeur open source et hautes performances, largement utilisé dans le développement Web, les files d'attente de messages, les compteurs et d'autres scénarios. Lorsque vous utilisez Redis, vous devrez peut-être l'intégrer à PHP afin de pouvoir utiliser Redis plus facilement. Cet article explique comment installer les extensions Redis et PHP sous Linux.

1. Installer Redis

Tout d'abord, vous devez installer Redis dans le système Linux. L'installation peut être terminée via la commande suivante :

sudo apt-get install redis-server

Une fois l'installation terminée, vous pouvez utiliser la commande suivante pour vérifier si le service Redis a été démarré :

sudo service redis-server status

Si le service a été démarré, des résultats similaires à ce qui suit sera affiché :

redis-server.service - Advanced key-value store
   Loaded: loaded (/lib/systemd/system/redis-server.service; enabled; vendor preset: enabled)
   Active: active (running) since Tue 2020-10-27 11:17:38 CST; 2 days ago
     Docs: http://redis.io/documentation,
           man:redis-server(1)
  Process: 4187 ExecStop=/bin/kill -s TERM $MAINPID (code=exited, status=0/SUCCESS)
  Process: 4188 ExecStart=/usr/bin/redis-server /etc/redis/redis.conf (code=exited, status=0/SUCCESS)
 Main PID: 4223 (redis-server)
    Tasks: 4 (limit: 4915)
   CGroup: /system.slice/redis-server.service
           └─4223 /usr/bin/redis-server 127.0.0.1:6379

2. Installer l'extension PHP

Après avoir installé Redis, vous devez installer l'extension Redis intégrée à PHP.

Vous devez d’abord confirmer que PHP a été installé. Vous pouvez utiliser la commande suivante pour vérifier :

php -v

Si PHP est déjà installé, vous pouvez utiliser la commande suivante pour installer l'extension Redis :

sudo apt-get install php-redis

Une fois l'installation terminée, vous devez ajouter l'extension Redis à la configuration PHP. déposer. Vous pouvez utiliser la commande suivante pour ouvrir le fichier de configuration PHP :

sudo vi /etc/php/7.0/apache2/php.ini

Recherchez le contenu suivant dans le fichier de configuration ouvert :

;extension=redis.so

Supprimez le point-virgule pour activer l'extension Redis :

extension=redis.so

Enregistrez le fichier et quittez. Ensuite, vous devez redémarrer le serveur Apache pour que la mise à jour prenne effet :

sudo service apache2 restart

Après avoir terminé les étapes ci-dessus, l'extension Redis a été intégrée à PHP, et vous pouvez volontiers utiliser Redis pour le développement !

Résumé

Grâce à l'introduction ci-dessus, nous comprenons comment installer les extensions Redis et PHP sous le système Linux. Cela facilitera notre utilisation ultérieure de Redis et nous permettra également de mieux développer des applications PHP.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!