diff --git a/debian/php-common.postrm b/debian/php-common.postrm index 513098e..27f6e99 100644 --- a/debian/php-common.postrm +++ b/debian/php-common.postrm @@ -9,6 +9,15 @@ if [ "$1" = "purge" ]; then rm -rf /var/lib/php fi +if [ "$1" = remove ] ; then + dpkg-divert --remove --package php-common --rename \ + --divert /usr/bin/phar5 \ + /usr/bin/phar + dpkg-divert --remove --package php-common --rename \ + --divert /usr/share/man/man1/phar5.1.gz \ + /usr/share/man/man1/phar.1.gz +fi + #DEBHELPER# exit 0 diff --git a/debian/php-common.preinst b/debian/php-common.preinst new file mode 100644 index 0000000..c5fc913 --- /dev/null +++ b/debian/php-common.preinst @@ -0,0 +1,16 @@ +#!/bin/sh + +set -e + +if [ "$1" = install ] || [ "$1" = upgrade ] ; then + dpkg-divert --add --package php-common --rename \ + --divert /usr/bin/phar5 \ + /usr/bin/phar + dpkg-divert --add --package php-common --rename \ + --divert /usr/share/man/man1/phar5.1.gz \ + /usr/share/man/man1/phar.1.gz +fi + +#DEBHELPER# + +exit 0