Comment résoudre le problème de l'absence d'extension dans la configuration PHP sous Ubuntu

Si vous utilisez le système d'exploitation Ubuntu, vous risquez de rencontrer le problème de l'absence d'extension lorsque vous essayez d'installer une extension PHP. En effet, PHP d'Ubuntu n'inclut pas toutes les extensions possibles par défaut. Ce problème est en fait facile à résoudre. Ensuite, nous présenterons brièvement comment configurer les extensions PHP sur Ubuntu.

1. Confirmer le numéro de version PHP

Avant d'installer l'extension, vous devez confirmer votre numéro de version PHP. Sur Ubuntu, vous pouvez vérifier en exécutant la commande suivante dans le terminal :

php -v

Le résultat affichera les informations de version de PHP.

2. Trouver et installer les extensions PHP requises

Après avoir confirmé le numéro de version PHP, vous pouvez trouver et installer les extensions PHP requises via la commande de recherche d'Ubuntu incluse dans le référentiel APT.

Par exemple, si vous devez installer une extension MySQL, vous pouvez saisir la commande suivante :

sudo apt-get update
sudo apt-get install php-mysql

Cette commande installera le package php-mysql, qui ajoutera l'extension MySQL à votre instance PHP.

3. Redémarrer PHP

Après avoir installé une nouvelle extension PHP, vous devez redémarrer PHP pour que l'extension prenne effet.

sudo systemctl restart apache2

Cette commande redémarrera le service Apache et fera prendre effet à la nouvelle extension PHP.

4. Installer les extensions manuellement

Parfois, vous devrez peut-être installer certaines extensions PHP manuellement. Ce processus nécessite de télécharger une version spécifique du code source de l'extension, puis de l'installer localement. Voici un exemple :

Téléchargez le code source de l'extension :

wget https://pecl.php.net/get/redis-4.3.0.tgz

Décompressez le code source de l'extension :

tar -zxvf redis-4.3.0.tgz

Entrez le répertoire décompressé :

cd redis-4.3.0

Compilez et installez l'extension :

sudo phpize
sudo ./configure
sudo make
sudo make install

Configurer des extensions PHP sur Ubuntu est en fait très simple, si vous rencontrez toujours des problèmes, probablement parce que différentes versions de PHP nécessitent une gestion différente. Je vous recommande de prendre le temps de lire attentivement la documentation et les instructions avant de trouver et d'appliquer une solution.

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!