usr/local/bin/update-php.ini

   1 #!/bin/sh
   2
   3 # This script will merge the main php.ini with site specific additions into a site specific php.ini.
   4
   5 BASE=/etc/php5/cgi/php.ini
   6 SITES=/data/www/*
   7 CONFIN=conf/php.ini.override
   8 CONFOUT=conf/php.ini
   9
  10 for SITE in $SITES; do
  11         IN=$SITE/$CONFIN
  12         OUT=$SITE/$CONFOUT
  13         if [ \! -r $IN ]; then
  14                 continue;
  15         fi
  16         echo "Updating $OUT"
  17
  18         cat > $OUT <<EOF
  19 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  20 ;
  21 ; This file is autogenerated by $0
  22 ;
  23 ; Do NOT edit this file directly.
  24 ;
  25 ; You should instead edit $IN and run $0 afterwards.
  26 ;
  27 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  28
  29
  30 ;;; Begin included $BASE ;;;
  31
  32 EOF
  33
  34         cat $BASE >> $OUT
  35         echo -e "\n;;; End included $BASE ;;;\n" >> $OUT
  36         echo -e "\n;;; Begin included $IN ;;;\n" >> $OUT
  37         cat $IN >> $OUT
  38         echo -e "\n;;; End included $IN ;;;\n" >> $OUT
  39 done