Update debians.sh

mathias-luedtke · Sep 5, 2023 · c9feee3 · c9feee3
1 parent a2b5e2e
commit c9feee3
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/industrial_ci/src/tests/debians.sh b/industrial_ci/src/tests/debians.sh
@@ -35,7 +35,7 @@ function use_repo() (
     ici_guard ici_asroot rm -f /etc/apt/apt.conf.d/docker-clean
     echo "deb [trusted=yes] file://$repo ./" | >/dev/null ici_guard ici_asroot tee /etc/apt/sources.list.d/ici_debians.list
     echo -e 'Package: *\nPin: release o=ICI\nPin-Priority: 1000' | >/dev/null ici_guard ici_asroot tee /etc/apt/preferences.d/ici_debians
-    ici_guard ici_asroot apt-get -o APT::Sandbox::User=root update -qq
+    ici_guard ici_asroot apt-get -o APT::Sandbox::User=root update
 )
 
 function forward_mounts() {
@@ -107,10 +107,10 @@ function run_debians() {
     update_repo "$repo"
     use_repo "$repo"
 
-    ls
+    ls -l "$repo"
     for l in /etc/apt/preferences.d/*;
     do
-      echo "$l:"
+      echo "$l"
       cat "$l"
     done
     apt policy