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 11:40 CET] – [/etc/apt/apt.conf.d/myconf] peter
@@ Line 30: / Line 30: @@
   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>
 ===== Change timezone =====