dprevot/php-defaults
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

We need to divert to /usr/bin/phar.php5 to prevent clash with updated php5 packages

Browse source
This commit is contained in:
Ondřej Surý 2016-04-27 21:12:13 +02:00
parent b7837175b7
commit 7fb1cfa38d
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
debian/php-common.postrm vendored
View file

@ -11,10 +11,10 @@ fi
if [ "$1" = remove ] ; then
dpkg-divert --remove --package php-common --rename \
--divert /usr/bin/phar5 \
--divert /usr/bin/phar.php5 \
/usr/bin/phar
dpkg-divert --remove --package php-common --rename \
--divert /usr/share/man/man1/phar5.1.gz \
--divert /usr/share/man/man1/phar.php5.1.gz \
/usr/share/man/man1/phar.1.gz
fi

4
debian/php-common.preinst vendored
View file

@ -4,10 +4,10 @@ set -e
if [ "$1" = install ] || [ "$1" = upgrade ] ; then
dpkg-divert --add --package php-common --rename \
--divert /usr/bin/phar5 \
--divert /usr/bin/phar.php5 \
/usr/bin/phar
dpkg-divert --add --package php-common --rename \
--divert /usr/share/man/man1/phar5.1.gz \
--divert /usr/share/man/man1/phar.php5.1.gz \
/usr/share/man/man1/phar.1.gz
fi