Merge pull request #186 from shivammathur/develop

Update ppa before installing PHP
This commit is contained in:
Shivam Mathur 2020-02-22 00:30:07 +05:30 committed by GitHub
commit b46021d870
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -287,10 +287,7 @@ if [ "$existing_version" != "$version" ]; then
elif [[ "$version" =~ $old_versions ]] || [ "$version" = "5.3" ]; then elif [[ "$version" =~ $old_versions ]] || [ "$version" = "5.3" ]; then
setup_old_versions setup_old_versions
else else
version_exists=$(apt-cache policy -- php"$version" | grep "$version") update_ppa
if [ -z "$version_exists" ]; then
update_ppa
fi
$apt_install php"$version" php"$version"-curl php"$version"-mbstring php"$version"-xml >/dev/null 2>&1 $apt_install php"$version" php"$version"-curl php"$version"-mbstring php"$version"-xml >/dev/null 2>&1
fi fi
status="Installed" status="Installed"