From 27853eb8b46dc01c33bf9fef67d98df2683c3be2 Mon Sep 17 00:00:00 2001 From: Shivam Mathur Date: Tue, 10 Jun 2025 15:33:24 +0530 Subject: [PATCH] Cleanup up PPA fallback mirror --- src/scripts/tools/ppa.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/src/scripts/tools/ppa.sh b/src/scripts/tools/ppa.sh index 4c6ca437..12256a8f 100644 --- a/src/scripts/tools/ppa.sh +++ b/src/scripts/tools/ppa.sh @@ -182,6 +182,7 @@ add_ppa() { ppa=${1:-ondrej/php} if [[ "$ID" = "ubuntu" || "$ID_LIKE" =~ ubuntu ]] && [[ "$ppa" =~ "ondrej/" ]]; then if is_ubuntu_ppa_up "$ppa" ; then + [ "${runner:?}" = "self-hosted" ] && find "$list_dir" -type f -name 'sp*' -exec grep -qF "$sp" {} \; -delete [ "${debug:?}" = "debug" ] && add_list "$ppa" "$lpc_ppa/$ppa/ubuntu" "$lpc_ppa/$ppa/ubuntu" "$VERSION_CODENAME" "main/debug" add_list "$ppa" else