actions/setup-php
1
0
Fork 0
mirror of https://github.com/shivammathur/setup-php.git synced 2024-11-22 20:01:06 +07:00
Code Issues Packages Projects Releases Wiki Activity

Add ppa:ondrej/php for all Ubuntu versions actions/virtual-environments#3272

Browse Source
This commit is contained in:
Shivam Mathur 2021-05-01 11:27:58 +05:30
parent ef477a1dd7
commit d0e7f46ec4
No known key found for this signature in database
GPG Key ID: 3E13E4C8591ACC2A
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/scripts/linux.sh
View File

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