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>