Register the default PHP version with highest priority (Closes: #911832, #958423, #958424, #959742)

This commit is contained in:
Ondřej Surý 2020-05-11 14:42:19 +02:00
parent aad6c85d7b
commit 9e92b67eac
18 changed files with 145 additions and 2 deletions

2
debian/php-cgi.links vendored Normal file
View file

@ -0,0 +1,2 @@
usr/bin/php-cgi@PHP_VERSION@ usr/bin/php-cgi.default
usr/share/man/man1/php-cgi.1.gz usr/share/man/man1/php-cgi.default.1.gz

3
debian/php-cgi.links.in vendored Normal file
View file

@ -0,0 +1,3 @@
usr/bin/php-cgi@PHP_VERSION@ usr/bin/php-cgi.default
usr/share/man/man1/php-cgi@PHP_VERSION@.1.gz usr/share/man/man1/php-cgi.default.1.gz
/usr/lib/cgi-bin/php@PHP_VERSION@ /usr/lib/cgi-bin/php.default

17
debian/php-cgi.postinst vendored Normal file
View file

@ -0,0 +1,17 @@
#!/bin/sh
set -e
if [ "$1" = "configure" ]; then
update-alternatives \
--install /usr/bin/php-cgi php-cgi /usr/bin/php-cgi.default 100 \
--slave /usr/share/man/man1/php-cgi.1.gz php-cgi.1.gz \
/usr/share/man/man1/php-cgi.default.1.gz
update-alternatives \
--install /usr/lib/cgi-bin/php php-cgi-bin /usr/lib/cgi-bin/php.default 100
fi
#DEBHELPER#
exit 0

12
debian/php-cgi.prerm vendored Normal file
View file

@ -0,0 +1,12 @@
#!/bin/sh
set -e
if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then
update-alternatives --remove php-cgi /usr/bin/php-cgi.default
update-alternatives --remove php-cgi-bin /usr/lib/cgi-bin/php.default
fi
#DEBHELPER#
exit 0

6
debian/php-cli.links vendored Normal file
View file

@ -0,0 +1,6 @@
usr/bin/php usr/bin/php.default
usr/share/man/man1/php.1.gz usr/share/man/man1/php.default.1.gz
usr/bin/phar usr/bin/phar.default
usr/share/man/man1/phar.1.gz usr/share/man/man1/phar.default.1.gz
usr/bin/phar.phar usr/bin/phar.phar.default
usr/share/man/man1/phar.phar.1.gz usr/share/man/man1/phar.phar.default.1.gz

6
debian/php-cli.links.in vendored Normal file
View file

@ -0,0 +1,6 @@
usr/bin/php@PHP_VERSION@ usr/bin/php.default
usr/share/man/man1/php@PHP_VERSION@.1.gz usr/share/man/man1/php.default.1.gz
usr/bin/phar@PHP_VERSION@ usr/bin/phar.default
usr/share/man/man1/phar@PHP_VERSION@.1.gz usr/share/man/man1/phar.default.1.gz
usr/bin/phar.phar@PHP_VERSION@ usr/bin/phar.phar.default
usr/share/man/man1/phar.phar@PHP_VERSION@.1.gz usr/share/man/man1/phar.phar.default.1.gz

15
debian/php-cli.postinst vendored Normal file
View file

@ -0,0 +1,15 @@
#!/bin/sh
set -e
if [ "$1" = "configure" ]; then
for binary in php phar phar.phar; do
update-alternatives \
--install /usr/bin/${binary} ${binary} /usr/bin/${binary}.default 100 \
--slave /usr/share/man/man1/${binary}.1.gz ${binary}.1.gz /usr/share/man/man1/${binary}.default.1.gz
done
fi
#DEBHELPER#
exit 0

13
debian/php-cli.prerm vendored Normal file
View file

@ -0,0 +1,13 @@
#!/bin/sh
set -e
if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then
for binary in php phar phar phar.phar; do
update-alternatives --remove ${binary} /usr/bin/${binary}.default
done
fi
#DEBHELPER#
exit 0

1
debian/php-common.links.in vendored Normal file
View file

@ -0,0 +1 @@
/usr/sbin/phpenmod /usr/sbin/phpdismod

4
debian/php-dev.links vendored Normal file
View file

@ -0,0 +1,4 @@
usr/bin/php-config usr/bin/php-config.default
usr/share/man/man1/php-config.1.gz usr/share/man/man1/php-config.default.1.gz
usr/bin/phpize usr/bin/phpize.default
usr/share/man/man1/phpize.1.gz usr/share/man/man1/phpize.default.1.gz

4
debian/php-dev.links.in vendored Normal file
View file

@ -0,0 +1,4 @@
usr/bin/php-config@PHP_VERSION@ usr/bin/php-config.default
usr/share/man/man1/php-config@PHP_VERSION@.1.gz usr/share/man/man1/php-config.default.1.gz
usr/bin/phpize@PHP_VERSION@ usr/bin/phpize.default
usr/share/man/man1/phpize@PHP_VERSION@.1.gz usr/share/man/man1/phpize.default.1.gz

16
debian/php-dev.postinst vendored Normal file
View file

@ -0,0 +1,16 @@
#!/bin/sh
set -e
if [ "$1" = "configure" ]; then
update-alternatives \
--install /usr/bin/php-config php-config /usr/bin/php-config.default 100 \
--slave /usr/share/man/man1/php-config.1.gz php-config.1.gz /usr/share/man/man1/php-config.default.1.gz
update-alternatives \
--install /usr/bin/phpize phpize /usr/bin/phpize.default 100 \
--slave /usr/share/man/man1/phpize.1.gz phpize.1.gz /usr/share/man/man1/phpize.default.1.gz
fi
#DEBHELPER#
exit 0

12
debian/php-dev.prerm vendored Normal file
View file

@ -0,0 +1,12 @@
#!/bin/sh
set -e
if [ "$1" = "remove" ] || [ "$1" = "purge" ]; then
update-alternatives --remove php-config /usr/bin/php-config.default
update-alternatives --remove phpize /usr/bin/phpize.default
fi
#DEBHELPER#
exit 0

2
debian/php-phpdbg.links vendored Normal file
View file

@ -0,0 +1,2 @@
usr/bin/phpdbg usr/bin/phpdbg.default
usr/share/man/man1/phpdbg.1.gz usr/share/man/man1/phpdbg.default.1.gz

2
debian/php-phpdbg.links.in vendored Normal file
View file

@ -0,0 +1,2 @@
usr/bin/phpdbg@PHP_VERSION@ usr/bin/phpdbg.default
usr/share/man/man1/phpdbg@PHP_VERSION@.1.gz usr/share/man/man1/phpdbg.default.1.gz

13
debian/php-phpdbg.postinst vendored Normal file
View file

@ -0,0 +1,13 @@
#!/bin/sh
set -e
if [ "$1" = "configure" ]; then
update-alternatives \
--install /usr/bin/phpdbg phpdbg /usr/bin/phpdbg.default 100 \
--slave /usr/share/man/man1/phpdbg.1.gz phpdbg.1.gz /usr/share/man/man1/phpdbg.default.1.gz
fi
#DEBHELPER#
exit 0

11
debian/php-phpdbg.prerm vendored Normal file
View file

@ -0,0 +1,11 @@
#!/bin/sh
set -e
if [ "$1" = "remove" ] || [ "$1" = "deconfigure" ]; then
update-alternatives --remove phpdbg /usr/bin/phpdbg@PHP_VERSION@
fi
#DEBHELPER#
exit 0

8
debian/rules vendored
View file

@ -58,7 +58,7 @@ debian/control: debian/control.in debian/rules debian/changelog
-e "s/@PHP_DEV_PACKAGES@/$(PHP_DEV_PACKAGES)/g" \
>$@ <$<
echo >> $@
cat debian/modulelist | while read module description; do \
cat debian/modulelist | while read -r module description; do \
package=php-$${module}; \
depends=php$(PHP_DEFAULT_VERSION)-$${module}; \
$(SED) -e "s/@package@/$${package}/" \
@ -68,7 +68,11 @@ debian/control: debian/control.in debian/rules debian/changelog
< debian/php-module.control.in \
>> $@; \
echo >> $@; \
done;
done
for f in php-cgi.links php-cli.links php-common.links php-dev.links php-phpdbg.links; do \
$(SED) -e "s/@PHP_VERSION@/$(PHP_DEFAULT_VERSION)/g" \
< "debian/$$f.in" > "debian/$$f"; \
done
-wrap-and-sort -ab
override_dh_installdirs: