Localisation du dossier d'extension PHP à l'aide de bash
J'essaie de construire un script bash pour installer le Source Guardian PHP cependant le répertoire de destination est différent sur chaque version ultérieure d'Ubuntu.
L'installation de PHP5 sur Ubuntu 14.04 entraîne le stockage des extensions dans/usr/lib/php5/20121212 + lfs /, dans Ubuntu 15.04 ce répertoire change, par ex./usr/lib/20131226 /
J'ai vérifié /etc/php5/fpm/php.ini et /etc/php5/fpm/php-fpm.conf mais aucun de ces fichiers ne mentionne 20121212 + lfs ou 20131226.
Si je place l'extension Source Guardian ailleurs, elle ne se charge pas.
Existe-t-il un moyen de déterminer par programme le dossier d'extension?
Vous devriez peut-être faire ceci:
php-config --extension-dir
Si php-config n'existe pas, alors apt-get install php-config si Ubuntu/Debian ou yum install php-config si CentOS/Red Hat)
Cette commande donnera l'emplacement exact de votre dossier d'extension php.
N'oubliez pas de changer votre php.ini afin d'utiliser des extensions.
Vous pouvez utiliser ceci
php -i | grep extension_dir
Vous pouvez également le trouver en créant un script phpinfo (un fichier qui appelle phpinfo();), puis l'exécuter dans le navigateur.
Voir l'exemple ci-dessous.
