From 262f684d1e022659939e6f5270f9f9d17a413f9f Mon Sep 17 00:00:00 2001 From: Hari Sekhon Date: Tue, 14 Nov 2023 17:05:59 +0000 Subject: [PATCH] updated apt_install_packages.sh --- packages/apt_install_packages.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/apt_install_packages.sh b/packages/apt_install_packages.sh index 7577a8bf1c4..d5f4c239fc3 100755 --- 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