Fix duplicate lists [skip ci]

shivammathur · shivammathur · commit c8d65bee4735 · 2025-09-18T14:56:23.000Z
diff --git a/scripts/install.sh b/scripts/install.sh
@@ -31,6 +31,8 @@ fix_packages() {
 }
 
 fix_list() {
+  ppa_list="/etc/apt/sources.list.d/ondrej-ubuntu-php-$VERSION_CODENAME"
+  [[ -e "$ppa_list.sources" && -e "$ppa_list.list" ]] && sudo rm "$ppa_list.sources"
   if [ "$builds" = "debug" ]; then
     list=/etc/apt/sources.list.d/"$(basename "$(grep -lr "ondrej/php" /etc/apt/sources.list.d)")"
     sudo apt-get update -o Dir::Etc::sourcelist="$list" -o Dir::Etc::sourceparts="-" -o APT::Get::List-Cleanup="0"

Original file line number	Diff line number	Diff line change
`@@ -31,6 +31,8 @@ fix_packages() {`
`31`	`31`	`}`
`32`	`32`
`33`	`33`	`fix_list() {`
	`34`	`+ ppa_list="/etc/apt/sources.list.d/ondrej-ubuntu-php-$VERSION_CODENAME"`
	`35`	`+ [[ -e "$ppa_list.sources" && -e "$ppa_list.list" ]] && sudo rm "$ppa_list.sources"`
`34`	`36`	`if [ "$builds" = "debug" ]; then`
`35`	`37`	`list=/etc/apt/sources.list.d/"$(basename "$(grep -lr "ondrej/php" /etc/apt/sources.list.d)")"`
`36`	`38`	`sudo apt-get update -o Dir::Etc::sourcelist="$list" -o Dir::Etc::sourceparts="-" -o APT::Get::List-Cleanup="0"`