wok rev 20437

php-common: fix extension_dir in /etc/php.ini (thanks anggit)
author Pascal Bellard <pascal.bellard@slitaz.org>
date Sun Sep 09 10:36:45 2018 +0200 (2018-09-09)
parents 53dff15e8d95
children 0ef3d31c67c8
files php-common/receipt
line diff
     1.1 --- a/php-common/receipt	Sun Sep 09 10:21:27 2018 +0200
     1.2 +++ b/php-common/receipt	Sun Sep 09 10:36:45 2018 +0200
     1.3 @@ -20,6 +20,7 @@
     1.4  	cp $stuff/php.desktop $fs/usr/share/applications 
     1.5  	cp $stuff/php.png $fs/usr/share/pixmaps 
     1.6  	cp $install/etc/php.ini $fs/etc
     1.7 +	sed -i '|.*\(extension_dir.*/usr/share/php.*\)$|\1|' $fs/etc/php.ini
     1.8  }
     1.9  
    1.10  # Post and pre install commands