Comment installer les extensions Redis et PHP sous Linux

PHPz
Libérer: 2023-03-28 16:12:37
original
1097 Les gens l'ont consulté

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
Copier après la connexion

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
Copier après la connexion

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
Copier après la connexion
  1. 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
Copier après la connexion

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

sudo apt-get install php-redis
Copier après la connexion

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
Copier après la connexion

Recherchez le contenu suivant dans le fichier de configuration ouvert :

;extension=redis.so
Copier après la connexion

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

extension=redis.so
Copier après la connexion

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

sudo service apache2 restart
Copier après la connexion

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!

Étiquettes associées:
source:php.cn
Déclaration de ce site Web
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn
Tutoriels populaires
Plus>
Derniers téléchargements
Plus>
effets Web
Code source du site Web
Matériel du site Web
Modèle frontal