Remove ppa:ondrej/php from the list of apt repositories (#1104)

* Remove  ppa:ondrej/php from the list of apt repositories

* Add documentation and fixes

* fix documentation

Co-authored-by: Sergey Dolin <v-sedoli@micorosoft.com>
This commit is contained in:
Sergey Dolin
2020-07-08 13:13:45 +05:00
committed by GitHub
parent cb3edf34a6
commit f1b5ed40eb
2 changed files with 24 additions and 0 deletions

View File

@@ -134,5 +134,17 @@ for version in $php_versions; do
DocumentInstalledItem "PHP $version ($(php$version --version | head -n 1))"
done
# ubuntu 20.04 libzip-dev is libzip5 based and is not compatible libzip-dev of ppa:ondrej/php
# see https://github.com/actions/virtual-environments/issues/1084
if isUbuntu20 ; then
rm /etc/apt/sources.list.d/ondrej-ubuntu-php-focal.list
apt-get update
AddBlockquote "To use ppa:ondrej/php APT repository On Ubuntu 20.04 it is necessary to add it to the APT sources"
StartCode
WriteItem apt-add-repository ppa:ondrej/php -y
WriteItem apt-get update
EndCode
fi
DocumentInstalledItem "Composer ($(composer --version))"
DocumentInstalledItem "PHPUnit ($(phpunit --version))"