Bug#799424: php7.0-cgi: fails to install: update-alternatives: error: alternative path /usr/bin/php7.0-cgi doesn't exist

[Mateusz Łukasik]

Control: -1 patch

Hello,

My patch for fix that.

Mateusz

diff -Nru php7.0-7.0.0~rc1/debian/changelog php7.0-7.0.0~rc1/debian/changelog
--- php7.0-7.0.0~rc1/debian/changelog	2015-08-25 14:20:09.000000000 +0200
+++ php7.0-7.0.0~rc1/debian/changelog	2015-09-19 12:00:59.000000000 +0200
@@ -1,3 +1,10 @@
+php7.0 (7.0.0~rc1-1.1) UNRELEASED; urgency=medium
+
+  * Non-maintainer upload.
+  * Fix alternative path /usr/bin/php7.0-cgi. (Closes: #799424)
+
+ -- Mateusz Łukasik <mat...@linuxmint.pl>  Sat, 19 Sep 2015 12:00:09 +0200
+
 php7.0 (7.0.0~rc1-1) experimental; urgency=medium
 
   [ Murukesh Mohanan ]
diff -Nru php7.0-7.0.0~rc1/debian/php-cgi.postinst.extra php7.0-7.0.0~rc1/debian/php-cgi.postinst.extra
--- php7.0-7.0.0~rc1/debian/php-cgi.postinst.extra	2015-08-25 14:20:09.000000000 +0200
+++ php7.0-7.0.0~rc1/debian/php-cgi.postinst.extra	2015-09-16 12:58:51.000000000 +0200
@@ -1,8 +1,8 @@
 if [ "$1" = "configure" ]; then
     update-alternatives \
-	--install /usr/bin/php-cgi php-cgi /usr/bin/php@PHP_VERSION@-cgi @PHP_MAJOR@@PHP_MINOR@ \
+	--install /usr/bin/php-cgi php-cgi /usr/bin/php-cgi@PHP_VERSION@ @PHP_MAJOR@@PHP_MINOR@ \
 	--slave /usr/share/man/man1/php-cgi.1.gz php-cgi.1.gz \
-	/usr/share/man/man1/php@php_vers...@-cgi.1.gz
+	/usr/share/man/man1/php-cgi@php_vers...@.1.gz
 
     update-alternatives \
 	--install /usr/lib/cgi-bin/php php-cgi-bin /usr/lib/cgi-bin/php@PHP_VERSION@ @PHP_MAJOR@@PHP_MINOR@