package-repo_mint: add pin to prevent install of "essential" mintsources

fsfw-dresden · Dec 6, 2024 · 97120eb · 97120eb
1 parent 33d5280
commit 97120eb
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/features/package-repo_mint/package-preferences/pinning-no-mintsources.pref b/features/package-repo_mint/package-preferences/pinning-no-mintsources.pref
@@ -0,0 +1,5 @@
+# marked as essential, will be dragging in
+# mint stuff just by the repo being enabled
+Package: mintsources
+Pin: release o=linuxmint
+Pin-Priority: -1