wok diff phppgadmin/receipt @ rev 20752

updated bmon (3.6 -> 4.0)
author Hans-G?nter Theisgen
date Tue Feb 12 13:58:21 2019 +0100 (2019-02-12)
parents 77efaea34489
children fea693604883
line diff
     1.1 --- a/phppgadmin/receipt	Tue Jul 01 13:17:01 2014 +0200
     1.2 +++ b/phppgadmin/receipt	Tue Feb 12 13:58:21 2019 +0100
     1.3 @@ -33,9 +33,9 @@
     1.4  post_install()
     1.5  {
     1.6  	# Configure lighttpd server
     1.7 -	if [ -f $1/etc/lighttpd/lighttpd.conf ]; then
     1.8 -		if ! grep -q /usr/share/phppgadmin/ $1/etc/lighttpd/lighttpd.conf; then
     1.9 -	    		sed -e 's|.*"/examples/" => "/usr/share/examples/",|    "/examples/" => "/usr/share/examples/",\n    "/phppgadmin/" => "/usr/share/phppgadmin/",|g' -i $1/etc/lighttpd/lighttpd.conf
    1.10 +	if [ -f "$1/etc/lighttpd/lighttpd.conf" ]; then
    1.11 +		if ! grep -q /usr/share/phppgadmin/ "$1/etc/lighttpd/lighttpd.conf"; then
    1.12 +	    		sed -e 's|.*"/examples/" => "/usr/share/examples/",|    "/examples/" => "/usr/share/examples/",\n    "/phppgadmin/" => "/usr/share/phppgadmin/",|g' -i "$1/etc/lighttpd/lighttpd.conf"
    1.13  			if [ -z "$1" ]; then
    1.14  				# Start Web server.
    1.15  				/etc/init.d/lighttpd stop
    1.16 @@ -44,9 +44,9 @@
    1.17  		fi
    1.18  	fi
    1.19  	# Configure apache server
    1.20 -	if [ -f $1/etc/apache/httpd.conf ]; then
    1.21 -		if [ ! -f $1/etc/apache/conf.d/phppgadmin ]; then
    1.22 -			cat > $1/etc/apache/conf.d/phppgadmin <<EOT
    1.23 +	if [ -f "$1/etc/apache/httpd.conf" ]; then
    1.24 +		if [ ! -f "$1/etc/apache/conf.d/phppgadmin" ]; then
    1.25 +			cat > "$1/etc/apache/conf.d/phppgadmin" <<EOT
    1.26  <IfModule mod_alias.c>
    1.27      Alias /phppgadmin /usr/share/phppgadmin
    1.28  </IfModule>