File: php5-json.postrm

package info (click to toggle)
php-json-ext 1.2.1-3.2
  • links: PTS
  • area: main
  • in suites: etch-m68k
  • size: 1,004 kB
  • ctags: 112
  • sloc: sh: 7,418; ansic: 1,020; makefile: 121; awk: 70
file content (14 lines) | stat: -rw-r--r-- 408 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
 
#!/bin/sh -e
# Copyright 2005 Jonas Genannt <jonas.genannt@capi2name.de>
for ppkg in apache cli cgi apache2; do
	if [ -f /etc/php5/$ppkg/php.ini ]; then
		if grep -q "json.so" /etc/php5/$ppkg/php.ini; then
			phptemp=`mktemp`
			sed "s/extension=json.so//;s/json\..*//;s/\[json\]//;" < /etc/php5/$ppkg/php.ini > $phptemp
			mv -f $phptemp /etc/php5/$ppkg/php.ini
			rm -f $phptemp
		fi
	fi
done

#DEBHELPER#