diff options
Diffstat (limited to 'private/php82/doinst.sh')
| -rw-r--r-- | private/php82/doinst.sh | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/private/php82/doinst.sh b/private/php82/doinst.sh deleted file mode 100644 index 231f5ea..0000000 --- a/private/php82/doinst.sh +++ /dev/null @@ -1,18 +0,0 @@ -config() { - NEW="$1" - OLD="`dirname $NEW`/`basename $NEW .new`" - # If there's no config file by that name, mv it over: - if [ ! -r $OLD ]; then - mv $NEW $OLD - elif [ "`cat $OLD | md5sum`" = "`cat $NEW | md5sum`" ]; then # toss the redundant copy - rm $NEW - fi - # Otherwise, we leave the .new copy for the admin to consider... -} -# Keep same perms on rc.php-fpm.new: -if [ -e etc/rc.d/rc.php-fpm-8.2 ]; then - cp -a etc/rc.d/rc.php-fpm-8.2 etc/rc.d/rc.php-fpm-8.2.new.incoming - cat etc/rc.d/rc.php-fpm-8.2.new > etc/rc.d/rc.php-fpm-8.2.new.incoming - mv etc/rc.d/rc.php-fpm-8.2.new.incoming etc/rc.d/rc.php-fpm-8.2.new -fi -config etc/rc.d/rc.php-fpm-8.2.new |