D7net
Home
Console
Upload
information
Create File
Create Folder
About
Tools
:
/
var
/
lib
/
dpkg
/
info
/
Filename :
php8.5-cli.postinst
back
Copy
#!/bin/sh set -e if [ "$1" = "configure" ]; then for binary in php phar phar.phar; do update-alternatives \ --install /usr/bin/${binary} ${binary} /usr/bin/${binary}8.5 85 \ --slave /usr/share/man/man1/${binary}.1.gz ${binary}.1.gz /usr/share/man/man1/${binary}8.5.1.gz done fi CONFDIR=/etc/php/8.5/cli/conf.d if [ "$1" = "configure" ]; then phpini="/etc/php/8.5/cli/php.ini" if [ "cli" = "cli" ]; then ucf /usr/lib/php/8.5/php.ini-production.cli $phpini else ucf /usr/lib/php/8.5/php.ini-production $phpini fi ucfr php8.5-cli $phpini if [ -e /usr/lib/php/php-maintscript-helper ]; then . /usr/lib/php/php-maintscript-helper mods=$(phpquery -M -v 8.5) for mod in $mods; do php_invoke enmod 8.5 cli $mod done fi fi exit 0