postrm is in php7.2-gmp 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 | #!/bin/sh
set -e
if [ "$1" = "remove" ]; then
if [ -e /usr/lib/php/php-maintscript-helper ] ; then
. /usr/lib/php/php-maintscript-helper
for dsoname in gmp; do
php_invoke dismod 7.2 ALL ${dsoname}
done
fi
fi
if [ "$1" = "purge" ]; then
inidir=/etc/php/7.2/mods-available
for dsoname in gmp; do
inifile=${dsoname}.ini
for ext in '~' '%' .bak .ucf-new .ucf-old .ucf-dist; do
rm -f ${inidir}/${inifile}${ext}
done
rm -f ${inidir}/${inifile}
if which ucf >/dev/null; then
ucf --purge ${inidir}/${inifile}
fi
if which ucfr >/dev/null; then
ucfr --purge php7.2-gmp ${inidir}/${inifile}
fi
# Final cleanup of possible leftover symlinks
find /etc/php/ -type l | \
while read symlink; do
if [ "$(readlink $symlink)" = "${inidir}/$inifile" ]; then
rm -f "${symlink}"
fi
done
done
fi
exit 0
|