Comment installer les extensions Redis et PHP sous Linux

1. Installer Redis

Tout d'abord, vous devez installer Redis sur 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é, le résultat sera similaire à Résultats pour :

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. Install PHP extension

   #🎜 🎜#

Installer Après avoir terminé 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 , il doit être dans le fichier de configuration PHP Ajouter l'extension Redis. 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 !

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!