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

Update PHP if ppa:ondrej/php is missing ref: actions/runner-images#6331

Browse Source
This commit is contained in:
Shivam Mathur
2022-10-28 12:24:37 +05:30
parent 388883d4bf
commit 5178fac634
2 changed files with 24 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
src/scripts/tools/ppa.sh
View File

@ -140,6 +140,20 @@ add_list() {
return 0;
}
# Function to check if a PPA exists
check_ppa() {
ppa=$1
ppa_url=${2:-"$lp_ppa/$ppa/ubuntu"}
package_dist=${3:-"$VERSION_CODENAME"}
branches=${4:-main}
ppa_search="deb .*$ppa_url $package_dist .*$branches"
if check_lists "$ppa" "$ppa_search"; then
return 0;
else
return 1;
fi
}
# Function to remove a PPA.
remove_list() {
ppa=${1-ondrej/php}