Estoy tratando de construir un script bash para instalar la extensión PHP de Source Guardian, sin embargo, el directorio de destino es diferente en cada versión posterior de Ubuntu.
La instalación de PHP5 en Ubuntu 14.04 da como resultado que las extensiones se almacenen en / usr / lib / php5 / 20121212 + lfs /, en Ubuntu 15.04 este directorio cambia, por ejemplo / usr / lib / 20131226 /
He comprobado /etc/php5/fpm/php.ini y /etc/php5/fpm/php-fpm.conf pero ninguno de estos archivos menciona 20121212 + lfs o 20131226.
Si coloco la extensión de Source Guardian en otro lugar, no se carga.
¿Hay alguna manera de determinar mediante programación la carpeta de extensión?
php -i
salida y requiere una instalación de software adicional. ¿Por qué?Puedes usar esto
fuente
php -i | grep ^extension_dir
ya que también hay unsqlite3.extension_dir
. El símbolo de intercalación coincidirá solo desde el principio de la cadena (para aquellos que no saben sobre expresiones regulares), lo que ayuda si está utilizando la salida de alguna maneraTambién puede encontrarlo creando un script phpinfo (un archivo que invoca
phpinfo();
) y luego ejecútelo en el navegador.Vea el ejemplo a continuación.
fuente