diff --git a/src/scripts/tools/ppa.sh b/src/scripts/tools/ppa.sh index 81f780c1..b9307d70 100644 --- a/src/scripts/tools/ppa.sh +++ b/src/scripts/tools/ppa.sh @@ -185,8 +185,10 @@ add_ppa() { [ "${runner:?}" = "self-hosted" ] && find "$list_dir" -type f -name 'sp*' -exec grep -qF "${sp/https:\/\/}" {} \; -delete [ "${debug:?}" = "debug" ] && add_list "$ppa" "$lpc_ppa/$ppa/ubuntu" "$lpc_ppa/$ppa/ubuntu" "$VERSION_CODENAME" "main/debug" add_list "$ppa" - else + elif [ "$ppa" = "ondrej/php" ]; then add_ppa_sp_mirror "$ppa" + else + add_log "${cross:?}" "$ppa" "PPA $ppa is not available" fi elif [[ "$ID" = "debian" || "$ID_LIKE" =~ debian ]] && [[ "$ppa" =~ "ondrej/" ]]; then [ "${debug:?}" = "debug" ] && add_list "$ppa" "$sury"/"${ppa##*/}"/ "$sury"/"${ppa##*/}"/apt.gpg "$VERSION_CODENAME" "main/debug"