Maison > Article > développement back-end > Comment installer l'extension Redis en php sous Linux
Comment installer l'extension redis en php sous Linux : 1. Téléchargez l'extension phpredis ; 2. Décompressez-la via "tar zxvf" ; 3. Exécutez phpize ; 4. Spécifiez le chemin de configuration php ; fichier de configuration php php.ini ; 6. Redémarrez php.
L'environnement d'exploitation de cet article : système linux5.9.8, phpredis version 2.2.4, ordinateur DELL G3
Comment installer l'extension redis en php sous Linux ?
Installer Redis+PHP sous Linux Installez l'extension Redis
1. Télécharger
Adresse de téléchargement : wget http://download.redis.io/releases/redis-4.0.8.tar.gz
[root@localhostredis]#wget http://download .redis.io/releases /redis-4.0.8.tar.gz (Veuillez modifier l'adresse si elle n'est pas valide)
Décompressez : [root@localhost redis]# tar xzf redis-4.0.8. Tar.gz
reload Nom
[root @ localhost redis] # mv redis-4.0.8 redis
enter Le répertoire CD redis
2. Installer Redis
installation: Utiliser la commande make
[root@localhost redis] # sudo make && sudo make install
Attendez la fin de l'installation.
3. Configurez
Exécutez : [root@localhost redis]# src/redis-server Vous devez exécuter la commande dans le répertoire d'installation de redis.
Cela n'exécute pas Redis en arrière-plan, donc lorsque l'interface de ligne de commande est fermée, le lien sera perdu, donc pour plus de commodité, nous devons le configurer pour qu'il s'exécute en arrière-plan
Modifiez le fichier de configuration : vim redis.conf redis.conf se trouve dans le répertoire courant. Remplacez daemonize=no par daemonize=yes et enregistrez.
Ensuite, démarrez
[root@localhost redis]# src/redis-server ./redis/conf
À l'heure actuelle, notre segment de service Redis s'exécute déjà en arrière-plan.
Ensuite, démarrez le client :
src/redis-cli
Test : set test changyiyi Set key value
Get : get test
Ce qui précède est la configuration d'installation simple de redis sous Linux. Pour plus de syntaxe sur l'utilisation de redis, veuillez vous référer au site officiel de redis : https://redis.io/
4.php Installez l'extension redis
Téléchargez l'extension phpredis
Adresse de téléchargement : https://github .com/ nicolasff/phpredis/archive/2.2.4.tar.gz
Exécuter la commande :
[root@localhost local]# wget https://github.com/nicolasff/phpredis/archive/2.2.4.tar .gz
Décompresser : tar zxvf
[root@localhost local]# tar zxvf 2.2.4.tar.gz
Exécuter phpize
[root@localhost phpredis]# /usr/local/ php5/bin /phpize Ceci est saisi en fonction de votre chemin réel
Spécifiez le chemin de configuration php :
[root@localhost phpredis]# ./configure --with-php-config=/usr/local /php5/bin /php-config
Compilez et installez : sudo make && sudo make install
Exécutez la commande : [root@localhost phpredis]# sudo make && make install
Ajoutez l'extension au fichier de configuration php php.ini Le chemin de php.ini est le chemin de votre propre environnement
[root@localhost phpredis]# vim /etc/php/php.ini
Ajoutez-y une ligne : /usr/local/ php5/lib/php/extensions/no -debug-non-zts-20090626/redis.so
Ensuite, enregistrez, redémarrez php
ps -ef | grep php-fpm
Kill -quit process number
Démarrez php:
/usr/local /php5/sbin/php-fpm
Puis vérifiez l'extension redis dans phpinfo() :
Vérifiez si php a installé avec succès l'extension php redis et peut l'utiliser.
Créez un fichier php de test redis.php
vim redis.php
Tapez le contenu :
5ee809a8ce09686252c988e2dc0b6c7c
Exécutez le fichier php.
php redis.php
Sortie : Le serveur est en cours d'exécution : +PONG.....
Succès ! Vous pouvez commencer à utiliser Redis avec bonheur en php.
Apprentissage recommandé : "Tutoriel vidéo 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!