php-defaults/debian/php-common.preinst

17 lines
334 B
Bash

#!/bin/sh
set -e
if [ "$1" = install ] || [ "$1" = upgrade ] ; then
dpkg-divert --add --package php-common --rename \
--divert /usr/bin/phar.php5 \
/usr/bin/phar
dpkg-divert --add --package php-common --rename \
--divert /usr/share/man/man1/phar.php5.1.gz \
/usr/share/man/man1/phar.1.gz
fi
#DEBHELPER#
exit 0