Differences

This shows you the differences between two versions of the page.

--- docs:tips_n_tricks:debian:index.html [30.09.2019 20:57 CEST] – [Packages missing after a fresh installation] Moved "patch" to general use, as it helps to merge config updates. peter
+++ docs:tips_n_tricks:debian:index.html [08.11.2019 18:31 CET] – [Apt Pinning by Repository (/etc/apt/preferences)] peter
@@ Line 31: / Line 31: @@
   APT::Default-Release "squeeze";
+==== Apt Pinning by Repository (/etc/apt/preferences) ====
+// Tested with Debian 10 Buster //
+<code text /etc/apt/preferences.d/99ul-pin-priorities>
+# /usr/local Pin Priorities
+# Need to be in sync with /etc/apt/sources.list !
+# Check with apt-cache policy
+Package: *
+Pin: origin deb.debian.org
+Pin-Priority: 500
+Package: *
+Pin: origin security.debian.org
+Pin-Priority: 500
+# Package: *
+# Pin: origin repo.dovecot.org
+# Pin-Priority: 1
+Package: *
+Pin: origin *
+Pin-Priority: 1
+</code>
+See:
+  * https://wiki.debian.org/AptConfiguration#apt_preferences_.28APT_pinning.29
 ===== Change timezone =====
 To change the timezone of a running systems, issue