Update PPA in add_devtools in linux.sh

This commit is contained in:
Shivam Mathur 2020-05-18 17:43:52 +05:30
parent 41329810ef
commit 54afb29ef6
No known key found for this signature in database
GPG Key ID: 3E13E4C8591ACC2A

View File

@ -184,7 +184,7 @@ add_composertool() {
# Function to setup phpize and php-config
add_devtools() {
if ! [ -e "/usr/bin/phpize$version" ] || ! [ -e "/usr/bin/php-config$version" ]; then
$apt_install php"$version"-dev php"$version"-xml >/dev/null 2>&1
update_ppa && $apt_install php"$version"-dev php"$version"-xml >/dev/null 2>&1
fi
sudo update-alternatives --set php-config /usr/bin/php-config"$version" >/dev/null 2>&1
sudo update-alternatives --set phpize /usr/bin/phpize"$version" >/dev/null 2>&1