J'essaie de construire un script bash pour installer l'extension PHP Source Guardian, mais 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 exemple / 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?
php -i
sortie et nécessite une installation de logiciels supplémentaires. Pourquoi?Vous pouvez utiliser ceci
la source
php -i | grep ^extension_dir
car il y a aussi unsqlite3.extension_dir
. Le signe d'insertion correspondra uniquement au début de la chaîne (pour ceux qui ne connaissent pas l'expression régulière), ce qui est utile si vous utilisez la sortie d'une manière ou d'une autreVous pouvez également le trouver en créant un script phpinfo (un fichier qui invoque
phpinfo();
) puis en l'exécutant dans le navigateur.Voir l'exemple ci-dessous.
la source