Fix phpdbg version

This commit is contained in:
Shivam Mathur 2019-11-29 10:14:53 +05:30
parent 8fbd2ea6bb
commit eae890b1b2
No known key found for this signature in database
GPG Key ID: 3E13E4C8591ACC2A

View File

@ -29,7 +29,7 @@ if [ "$existing_version" != "$1" ]; then
status="Installed PHP$version"
fi
for tool in php phar phar.phar php-cgi php-config phpize; do
for tool in php phar phar.phar php-cgi php-config phpize phpdbg; do
if [ -e "/usr/bin/$tool$1" ]; then
sudo update-alternatives --set $tool /usr/bin/"$tool$1" >/dev/null 2>&1
fi