Merge pull request #7 from dotysan/bookworm

Newer Debian doesn't have legacy apt sources file
HariSekhon · Sep 21, 2023 · 736b681 · 736b681
2 parents 1278489 + cf4942e
commit 736b681
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/apt_install_packages.sh b/packages/apt_install_packages.sh
@@ -69,7 +69,7 @@ if is_CI; then
     opts="$opts -q"
     echo
     echo "/etc/apt/sources.list:"
-    cat /etc/apt/sources.list
+    cat /etc/apt/sources.list ||:
     echo
     for x in /etc/apt/sources.list.d/*; do
         [ -f "$x" ] || continue