wok diff php-common/receipt @ rev 21057

updated ipmitool (1.8.16 -> 1.8.18)
author: Hans-G?nter Theisgen
date: Wed Mar 13 15:20:22 2019 +0100 (2019-03-13)
parents: b95ac33cc6fe
children: ccb0caebef6f
     1.1 --- a/php-common/receipt	Sun Sep 09 10:36:45 2018 +0200
     1.2 +++ b/php-common/receipt	Wed Mar 13 15:20:22 2019 +0100
     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