Tim Landscheidt has uploaded a new change for review.
https://gerrit.wikimedia.org/r/204673
Change subject: package_builder: Reflect rename of
/etc/apt/preferences.d/wikimedia
......................................................................
package_builder: Reflect rename of /etc/apt/preferences.d/wikimedia
Change I1ebf184ccd7d4bf8575ca12d9fa51064147479c9 named apt preferences
consistently /etc/apt/preferences.d/*.pref, inter alia renaming
/etc/apt/preferences.d/wikimedia. package_builder was created before
that change was merged. This change updates it accordingly.
Change-Id: I422cdd9662519b1e7a2f979adaff3f4fce7a5e00
---
M modules/package_builder/templates/D01apt.wikimedia.org.erb
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/73/204673/1
diff --git a/modules/package_builder/templates/D01apt.wikimedia.org.erb
b/modules/package_builder/templates/D01apt.wikimedia.org.erb
index 9668c47..a9826ce 100644
--- a/modules/package_builder/templates/D01apt.wikimedia.org.erb
+++ b/modules/package_builder/templates/D01apt.wikimedia.org.erb
@@ -6,7 +6,7 @@
deb <%= @mirror %> <%= @distribution %>-wikimedia <%= @components %>
deb-src <%= @mirror %> <%= @distribution %>-wikimedia <%= @components %>
EOF
- cat > /etc/apt/preferences.d/wikimedia <<-'EOF'
+ cat > /etc/apt/preferences.d/wikimedia.pref <<-'EOF'
Package: *
Pin: release o=Wikimedia
Pin-Priority: 1001
--
To view, visit https://gerrit.wikimedia.org/r/204673
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I422cdd9662519b1e7a2f979adaff3f4fce7a5e00
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Tim Landscheidt <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
