Maison >développement back-end >Problème PHP >Ubuntu php installer Redis
Le système Ubuntu est actuellement l'un des systèmes d'exploitation serveur les plus utilisés et est souvent utilisé pour créer des applications telles que des serveurs Web. Redis est une base de données de cache open source hautes performances largement utilisée dans diverses applications Web, en particulier dans les environnements à haute concurrence des grands sites Web. Il s'agit d'une opération très courante pour créer un environnement d'exécution PHP et une base de données Redis dans Ubuntu. Cet article présentera donc les étapes et le processus d'installation de PHP et Redis dans le système Ubuntu.
1. Installez PHP
Tout d'abord, nous devons installer PHP dans le système Ubuntu. Entrez la commande suivante dans le terminal de ligne de commande :
sudo apt-get install php7.2
Une fois l'installation terminée, nous pouvons vérifier si PHP est installé avec succès via la commande suivante :
php -v
Si le La version PHP est une information de sortie, cela signifie que PHP a été installé avec succès.
2. Installer Redis
Ensuite, nous devons installer la base de données Redis dans le système Ubuntu. Entrez la commande suivante dans le terminal de ligne de commande :
sudo apt-add-repository ppa:chris-lea/redis-server && sudo apt-get update && sudo apt-get install redis-server
Une fois l'installation terminée, nous pouvons vérifier si Redis est installé avec succès via la commande suivante :
redis-cli ping
Si "PONG" est affiché, cela signifie que Redis a été installé avec succès.
3. Installer l'extension PHP
Après avoir installé PHP et Redis, nous devons également installer l'extension Redis de PHP pour utiliser Redis en PHP. Entrez la commande suivante dans le terminal de ligne de commande :
sudo apt-get install php7.2-redis
Après l'installation, nous devons activer l'extension Redis dans le fichier de configuration PHP. Entrez la commande suivante dans le terminal de ligne de commande pour éditer le fichier de configuration PHP :
sudo nano /etc/php/7.2/apache2/php.ini
Recherchez la ligne suivante dans le fichier de configuration :
;extension=redis. so
le remplacera par :
extension=redis.so
Enregistrez le fichier de configuration et quittez.
4. Testez PHP et Redis
Une fois l'installation terminée, nous pouvons créer un fichier PHP pour le test. Entrez la commande suivante dans le terminal de ligne de commande pour créer un fichier test.php :
sudo nano /var/www/html/test.php
Entrez le code PHP suivant dans le fichier :
$ redis = new Redis ();
$redis->connect('127.0.0.1', 6379);
echo "Connexion réussie au serveur";
echo "Le serveur est en cours d'exécution : ".$redis->ping() ;
?> ;
Enregistrez le fichier et quittez l'éditeur.
Visitez http://localhost/test.php dans le navigateur. Si "Connexion au serveur réussie" et "Le serveur est en cours d'exécution : PONG" s'affichent, cela signifie que PHP s'est connecté avec succès à la base de données Redis.
Résumé
Grâce aux étapes ci-dessus, nous avons installé avec succès PHP et Redis dans le système Ubuntu et activé l'extension Redis de PHP. Grâce aux tests, nous pouvons garantir que PHP peut se connecter avec succès à la base de données Redis. Ces étapes sont très pratiques pour créer des applications telles que des serveurs Web.
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!