updated apt_install_packages.sh

HariSekhon · Nov 14, 2023 · 262f684 · 262f684
1 parent e837b41
commit 262f684
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/packages/apt_install_packages.sh b/packages/apt_install_packages.sh
@@ -70,7 +70,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