Maison >développement back-end >tutoriel php >Comment ajouter l'extension Redis à PHP sous le système Ubuntu
Cet article présente principalement les informations pertinentes sur la méthode d'implémentation d'ajout de l'extension redis à PHP sur le système Ubuntu. J'espère que cet article pourra aider tout le monde à réaliser une telle fonction. Les amis dans le besoin pourront s'y référer
La méthode d'implémentation pour ajouter l'extension redis à PHP sur le système Ubuntu
Un projet récent, je souhaite utiliser redis car la base de données PHP ne nécessite pas d'extension redis et doit être installée comment. pour l'installer ? J'ai trouvé sur Internet beaucoup d'informations précompilées, mais qui ont échoué, j'ai donc trouvé une autre méthode qui peut être installée directement sans compilation.sudo apt-get install git-coreAprès l'installation, redémarrez nginx, php5-fpm,
sudo /etc/init.d/nginx restartRedémarrer php5-fmp
sudo /etc/init.d/php5-fpm restartphpinfo s'affiche sur la page Web :
sudo apt-get install redis-serverVous pouvez en faire l'expérience dès maintenant. D'accord, il est temps d'aller me coucher. Je dois me lever demain pour récupérer les billets. Je suis de retour à la maison pour la Fête du Printemps. Une fois que tu as décidé, tu dois la poursuivre sans. hésitation. Parfois, les rêves semblent toujours hors de portée, mordez-le, tenez bon, tout sera lié.
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!