actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2025-08-23 22:14:07 +07:00
Code Issues Packages Projects Releases Wiki Activity

Add ppa:ondrej/php for all Ubuntu versions

Browse Source
This commit is contained in:
Shivam Mathur
2021-05-01 16:31:03 +05:30
parent 698464efea
commit 8bed24ebe1
2 changed files with 92 additions and 59 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/scripts/linux.sh
View File

@ -42,7 +42,7 @@ add_ppa() {
# Function to update the package lists.
update_lists() {
if [ ! -e /tmp/setup_php ]; then
[ "$DISTRIB_RELEASE" = "20.04" ] && add_ppa ondrej/php >/dev/null 2>&1
add_ppa ondrej/php >/dev/null 2>&1
cleanup_lists
sudo "$debconf_fix" apt-get update >/dev/null 2>&1
echo '' | sudo tee /tmp/setup_php >/dev/null 2>&1