Mark Bergsma has uploaded a new change for review.
https://gerrit.wikimedia.org/r/302472
Change subject: Pin $dist-backports at priority 500
......................................................................
Pin $dist-backports at priority 500
Because -backports has priority 100 by default, those packages are
not considered when there's any other version in any other repo.
Set to the same value as the default repo, so highest version nr wins.
Change-Id: I43174931c1086f1760b21bc55384a647d025c570
---
M modules/package_builder/templates/D02backports.erb
1 file changed, 5 insertions(+), 0 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/72/302472/1
diff --git a/modules/package_builder/templates/D02backports.erb
b/modules/package_builder/templates/D02backports.erb
index 94d7f5a..3052229 100755
--- a/modules/package_builder/templates/D02backports.erb
+++ b/modules/package_builder/templates/D02backports.erb
@@ -6,5 +6,10 @@
deb <%= @upstream_mirror %> <%= @distribution %>-backports main contrib
non-free
deb-src <%= @upstream_mirror %> <%= @distribution %>-backports main
contrib non-free
EOF
+ cat > /etc/apt/preferences.d/<%= @distribution %>.pref <<-'EOF'
+ Package: *
+ Pin: release a=<%= @distribution %>-backports
+ Pin-Priority: 500
+EOF
apt-get update
fi
--
To view, visit https://gerrit.wikimedia.org/r/302472
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I43174931c1086f1760b21bc55384a647d025c570
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Mark Bergsma <m...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
