From 994400eb17dfd3ba98af23a8a89c4118ef8a4b3a Mon Sep 17 00:00:00 2001 From: Vadim Zeitlin Date: Fri, 16 Apr 2021 19:13:00 +0200 Subject: [PATCH] Don't dump apt preferences in the CI build logs This doesn't seem very useful and results in a lot of output. --- build/tools/before_install.sh | 2 -- 1 file changed, 2 deletions(-) diff --git a/build/tools/before_install.sh b/build/tools/before_install.sh index 88a9a733bd..8c3f9d6ab2 100755 --- a/build/tools/before_install.sh +++ b/build/tools/before_install.sh @@ -14,8 +14,6 @@ case $(uname -s) in # Show information about the repositories and priorities used. echo 'APT sources used:' $SUDO grep --no-messages '^[^#]' /etc/apt/sources.list /etc/apt/sources.list.d/* || true - echo 'APT preferences:' - $SUDO grep --no-messages '^[^#]' /etc/apt/preferences /etc/apt/preferences.d/* || true echo '--- End of APT files dump ---' run_apt() {