postrm is in libphp7.2-embed 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 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 | #!/bin/sh
set -e
[ "$1" = "remove" ] && ldconfig
php_enable() { return 0; }
if [ "$1" = "remove" ]; then
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 dismod 7.2 embed $mod
done
else
for mod in /etc/php/7.2/conf.d/*.ini; do
rm -f $mod
for ext in '~' '%' .bak .ucf-new .ucf-old .ucf-dist; do
rm -f $mod$ext
done
done
fi
fi
if [ "$1" = "purge" ]; then
phpini=/etc/php/7.2/embed/php.ini
# remove the flag to remember the original state
if [ -e /etc/php/7.2/embed/.start ]; then
rm -f /etc/php/7.2/embed/.start
fi
for ext in '~' '%' .bak .ucf-new .ucf-old .ucf-dist; do
rm -f $phpini$ext
done
rm -f $phpini
if which ucf >/dev/null; then
ucf --purge $phpini
fi
if which ucfr >/dev/null; then
ucfr --purge libphp7.2-embed $phpini
fi
for dir in \
/etc/php/7.2/embed/conf.d \
/etc/php/7.2/embed \
/etc/php/7.2/ \
/etc/php; do
if [ -d $dir ]; then
rmdir --ignore-fail-on-non-empty $dir
fi
done
fi
exit 0
|