wok diff php-pear/receipt @ rev 18857

gnome-games (patch for aisleriot, swell-foop, lightsoff)
author Lucas Levrel <llevrel@yahoo.fr>
date Tue Jan 26 22:00:52 2016 +0100 (2016-01-26)
parents 55f67249b264
children ccb0caebef6f
line diff
     1.1 --- a/php-pear/receipt	Tue Jun 03 01:07:29 2014 +0200
     1.2 +++ b/php-pear/receipt	Tue Jan 26 22:00:52 2016 +0100
     1.3 @@ -35,8 +35,8 @@
     1.4  
     1.5  post_install()
     1.6  {
     1.7 -	grep ^include_path $1/etc/php.ini
     1.8 -	sed -i 's|/php/includes"|/php/includes"\ninclude_path = ".:/usr/share/php"|' $1/etc/php.ini
     1.9 +	grep ^include_path "$1/etc/php.ini"
    1.10 +	sed -i 's|/php/includes"|/php/includes"\ninclude_path = ".:/usr/share/php"|' "$1/etc/php.ini"
    1.11  	# Restart Web server.
    1.12  	while read daemon file; do
    1.13  		[ -z "$1" ] || continue