Pin bundled ici debian repository only

mathias-luedtke · Sep 5, 2023 · 2f9ef97 · 2f9ef97
1 parent 3fbf815
commit 2f9ef97
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/industrial_ci/src/tests/debians.sh b/industrial_ci/src/tests/debians.sh
@@ -34,7 +34,7 @@ function use_repo() (
     local repo=$1; shift
     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: origin ""\nPin-Priority: 1000' | >/dev/null ici_guard ici_asroot tee /etc/apt/preferences.d/ici_debians
+    echo -e 'Package: *\nPin: release c=\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
 )