Comment installer l'extension Redis sur Linux ?
Recommandations associées : [Tutoriel vidéo Linux]
Comment installer l'extension Redis sur Linux :
1 . Téléchargez d'abord le package d'extension php-redis
2. Décompressez et décompressez et entrez dans le répertoire suivant :
<.>
3. Exécutez la commande phpize dans le répertoire d'installation de php dans ce répertoire (si vous ne connaissez pas le chemin de phpize, vous pouvez utiliser Whereis phpize pour interroger)4. À ce moment, il y aura plus Un fichier de configuration 5. Il peut maintenant être configuré --with-php-config indique l'extension. pour l'installer et configure automatiquement le compilateur pour nous (une fois exécuté Si une erreur est signalée, il est possible qu'autoconf ne soit pas installé. Exécutez simplement le yum install autoconf suivant) Si une erreur est signalée, Installer GCC peut être yum install gcc -yCompiler make
7. Une fois la compilation terminée, exécutez make install Après l'installation. , vous serez invité à indiquer le répertoire dans lequel l'extension est placée. Entrez dans le répertoire et vous trouverez l'extension redis.so
9. ajoutez les informations suivantes ou entrez dans le répertoire /etc/php.d pour créer le fichier redis.ini 10. Après avoir enregistré et quitté, redémarrez le serveur. Vérifiez les informations phpinfo() Cela montrera que le chargement est réussi. Pour plus de connaissances sur Redis, veuillez visiter la colonne
Tutoriel d'utilisation de Redis !
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!