Menemukan folder ekstensi PHP menggunakan bash

14

Saya mencoba membuat skrip bash untuk menginstal ekstensi PHP Source Guardian namun direktori tujuan berbeda pada setiap rilis Ubuntu berikutnya.

Menginstal PHP5 di Ubuntu 14.04 menghasilkan ekstensi disimpan di / usr / lib / php5 / 20121212 + lfs /, di Ubuntu 15,04 perubahan direktori ini, misalnya / usr / lib / 20131226 /

Saya telah memeriksa /etc/php5/fpm/php.ini dan /etc/php5/fpm/php-fpm.conf tetapi tidak satu pun dari file-file ini yang menyebutkan 20121212 + lfs atau 20131226.

Jika saya menempatkan ekstensi Wali Sumber di tempat lain, itu tidak memuat.

Apakah ada cara untuk menentukan folder ekstensi secara terprogram?

bash ubuntu php Isometrik
sumber

Jawaban:

24

Mungkin Anda harus melakukan ini:

php-config --extension-dir

Jika php-configtidak ada, maka apt-get install php-configjika Ubuntu / Debian atau yum install php-configjika CentOS / Red Hat)

Perintah itu akan memberikan lokasi pasti dari phpfolder ekstensi Anda .

Jangan lupa untuk mengubah Anda php.iniuntuk menggunakan ekstensi.

fiksi ilmiah
sumber
Ini tidak lebih sederhana daripada parsing php -ioutput dan memerlukan instalasi perangkat lunak tambahan. Mengapa?
cprn
20

Anda bisa menggunakan ini

php -i | grep extension_dir
Maximiliano Gastón Ledesma
sumber
2
Anda mungkin juga ingin mencoba php -i | grep ^extension_dirkarena ada juga sqlite3.extension_dir. Tanda sisir akan cocok dari awal string saja (bagi mereka yang tidak tahu tentang regex) yang membantu jika Anda menggunakan output entah bagaimana
Stuart H
0

Anda dapat menemukannya juga dengan membuat skrip phpinfo (file yang memanggil phpinfo();) dan kemudian menjalankannya di browser.

Lihat contoh di bawah ini.

masukkan deskripsi gambar di sini

Julian
sumber