Giuseppe Lavagetto has uploaded a new change for review.
https://gerrit.wikimedia.org/r/135004
Change subject: puppet3: correct pin file extension
......................................................................
puppet3: correct pin file extension
As the preceding change has been merged before it was tested properly,
I'm correcting now the file extension for the pinning.
Change-Id: If01b8cc7c6c29ebc711cb315eca6d082f726cc5f
Signed-off-by: Giuseppe Lavagetto <glavage...@wikimedia.org>
---
M modules/apt/manifests/puppet.pp
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/04/135004/1
diff --git a/modules/apt/manifests/puppet.pp b/modules/apt/manifests/puppet.pp
index 3bcc3a6..3a1c7d7 100644
--- a/modules/apt/manifests/puppet.pp
+++ b/modules/apt/manifests/puppet.pp
@@ -8,7 +8,7 @@
# with an higher priority than the general rule preferring wikimedia
# packages
if $::lsbdistcodename == 'precise' {
- apt::pin {"puppet_${title}_${version}":
+ apt::pin {"puppet_${title}_${version}.pref":
package => $packages,
pin => 'release o=Ubuntu',
priority => 1002
--
To view, visit https://gerrit.wikimedia.org/r/135004
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: If01b8cc7c6c29ebc711cb315eca6d082f726cc5f
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Giuseppe Lavagetto <glavage...@wikimedia.org>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
