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

Improve package checks for extensions

Browse Source
This commit is contained in:
Shivam Mathur
2021-10-15 17:53:09 +05:30
parent ea20ae1fbd
commit d259dd49a2
2 changed files with 25 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@ -121,6 +121,7 @@ add_list() {
ppa_search="deb .*$ppa_url $package_dist .*$branches"
if check_lists "$ppa" "$ppa_search"; then
echo "Repository $ppa already exists";
return 1;
else
arch=$(dpkg --print-architecture)
[ -e "$key_source" ] && key_file=$key_source || key_file="$key_dir"/"${ppa/\//-}"-keyring.gpg
@ -129,6 +130,7 @@ add_list() {
update_lists "$ppa" "$ppa_search"
. /etc/os-release
fi
return 0;
}
# Function to remove a PPA.
@ -150,6 +152,20 @@ add_ppa() {
else
add_list "$ppa"
fi
status="$?"
. /etc/os-release
return $status
}
# Function to update a PPA.
update_ppa() {
set_base_version
ppa=${1:-ondrej/php}
ppa_url=${2:-"$lp_ppa/$ppa/ubuntu"}
package_dist=${4:-"$VERSION_CODENAME"}
branches=${5:-main}
ppa_search="deb .*$ppa_url $package_dist .*$branches"
update_lists "$ppa" "$ppa_search"
. /etc/os-release
}