postinst is in php7.2-phpdbg 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 | #!/bin/sh
set -e
if [ "$1" = "configure" ]; then
update-alternatives \
--install /usr/bin/phpdbg phpdbg /usr/bin/phpdbg7.2 72 \
--slave /usr/share/man/man1/phpdbg.1.gz phpdbg.1.gz /usr/share/man/man1/phpdbg7.2.1.gz
fi
CONFDIR=/etc/php/7.2/phpdbg/conf.d
if [ "$1" = "configure" ]; then
phpini="/etc/php/7.2/phpdbg/php.ini"
if [ "phpdbg" = "cli" ]; then
ucf /usr/lib/php/7.2/php.ini-production.phpdbg $phpini
else
ucf /usr/lib/php/7.2/php.ini-production $phpini
fi
ucfr php7.2-phpdbg $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 phpdbg $mod
done
fi
if [ -n "$2" ] && dpkg --compare-versions "$2" lt "7.0.3-2~"; then
rm -f /etc/php/7.2/phpdbg/conf.d/20-opcache.ini;
fi
fi
exit 0
|