wok rev 20439

php-common: fix extension_dir in /etc/php.ini (again)
author Pascal Bellard <pascal.bellard@slitaz.org>
date Sun Sep 09 11:31:24 2018 +0200 (2018-09-09)
parents 0ef3d31c67c8
children 7740cc200934
files php-common/receipt
line diff
     1.1 --- a/php-common/receipt	Sun Sep 09 11:03:10 2018 +0200
     1.2 +++ b/php-common/receipt	Sun Sep 09 11:31:24 2018 +0200
     1.3 @@ -20,7 +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 +	sed -i 's|.*\(extension_dir.*/usr/share/php.*\)$|\1|' $fs/etc/php.ini
     1.9  }
    1.10  
    1.11  # Post and pre install commands