Rename any /etc/apt/sources.list to avoid duplicate warnings

This renames /etc/apt/sources.list to /etc/apt/sources.list.dist if it exists to avoid duplicate warnings when running apt commands.
mysociety · Dec 5, 2023 · 21355ac · 21355ac
1 parent 76ff007
commit 21355ac
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/bin/install-site.sh b/bin/install-site.sh
@@ -157,7 +157,8 @@ update_apt_sources() {
                 notice_msg "Unsupported distribution and version combination $DISTRIBUTION $DISTVERSION"
                 ;;
         esac
-        # Install the basic packages we require:
+        # Install the basic packages we require, backing up any old sources.list
+        [ -f /etc/apt/sources.list ] && mv /etc/apt/sources.list /etc/apt/sources.list.dist
         cat > /etc/apt/sources.list.d/debian.sources <<EOF
 # Debian mirror to use, including contrib and non-free:
 Types: deb deb-src

diff --git a/shlib/installfns b/shlib/installfns
@@ -157,7 +157,8 @@ update_apt_sources() {
                 notice_msg "Unsupported distribution and version combination $DISTRIBUTION $DISTVERSION"
                 ;;
         esac
-        # Install the basic packages we require:
+        # Install the basic packages we require, backing up any old sources.list
+        [ -f /etc/apt/sources.list ] && mv /etc/apt/sources.list /etc/apt/sources.list.dist
         cat > /etc/apt/sources.list.d/debian.sources <<EOF
 # Debian mirror to use, including contrib and non-free:
 Types: deb deb-src