diff --git a/src/scripts/tools/ppa.sh b/src/scripts/tools/ppa.sh index 1f36137e..4c6ca437 100644 --- a/src/scripts/tools/ppa.sh +++ b/src/scripts/tools/ppa.sh @@ -129,7 +129,8 @@ add_list() { arch=$(dpkg --print-architecture) [ -e "$key_source" ] && key_file=$key_source || key_file="$key_dir"/"${ppa/\//-}"-keyring.gpg add_key "$ppa" "$ppa_url" "$package_dist" "$key_source" "$key_file" - echo "deb [arch=$arch signed-by=$key_file] $ppa_url $package_dist $branches" | sudo tee -a "$list_dir"/"${ppa/\//-}".list >/dev/null 2>&1 + sudo rm -rf "$list_dir"/"${ppa/\//-}".list || true + echo "deb [arch=$arch signed-by=$key_file] $ppa_url $package_dist $branches" | sudo tee -a "$list_dir"/"${ppa%%/*}"-"$ID"-"${ppa#*/}"-"$package_dist".list >/dev/null 2>&1 update_lists "$ppa" "$ppa_search" . /etc/os-release fi