postinst is in php7.2-cli 7.2.3-1ubuntu1.
This file is a maintainer script. It is executed when installing (*inst) or removing (*rm) the package.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 | #!/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}7.2 72 \
--slave /usr/share/man/man1/${binary}.1.gz ${binary}.1.gz /usr/share/man/man1/${binary}7.2.1.gz
done
fi
CONFDIR=/etc/php/7.2/cli/conf.d
if [ "$1" = "configure" ]; then
phpini="/etc/php/7.2/cli/php.ini"
if [ "cli" = "cli" ]; then
ucf /usr/lib/php/7.2/php.ini-production.cli $phpini
else
ucf /usr/lib/php/7.2/php.ini-production $phpini
fi
ucfr php7.2-cli $phpini
if [ -e /usr/lib/php/php-maintscript-helper ]; then
. /usr/lib/php/php-maintscript-helper
mods=$(phpquery -M -v 7.2)
for mod in $mods; do
php_invoke enmod 7.2 cli $mod
done
fi
if [ -n "$2" ] && dpkg --compare-versions "$2" lt "7.0.3-2~"; then
rm -f /etc/php/7.2/cli/conf.d/20-opcache.ini;
fi
fi
exit 0
|