Localisation du dossier d'extension PHP à l'aide de bash

14

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?

bash ubuntu php

— Isométrique
source

25

Vous devriez peut-être faire ceci:

php-config --extension-dir

Si php-confign'existe pas, alors apt-get install php-configsi Ubuntu / Debian ou yum install php-configsi CentOS / Red Hat)

Cette commande donnera l'emplacement exact de votre phpdossier d'extension.

N'oubliez pas de changer votre php.iniafin d'utiliser des extensions.

— thecinefiction
source

Ce n'est pas plus simple que d'analyser la php -isortie et nécessite une installation de logiciels supplémentaires. Pourquoi?

— cprn

20

Vous pouvez utiliser ceci

php -i | grep extension_dir

— Maximiliano Gastón Ledesma
source

2

Vous pouvez également essayer php -i | grep ^extension_dircar il y a aussi un sqlite3.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 autre

— Stuart H

0

Vous 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.

— julien
source