Andrew Bogott has submitted this change and it was merged.
Change subject: Allow caller to specify Pin-Priority in apt::repository
......................................................................
Allow caller to specify Pin-Priority in apt::repository
Change-Id: I312a1c5e720d505b3b77f769fd622d03bc13e9aa
---
M modules/apt/manifests/repository.pp
1 file changed, 7 insertions(+), 1 deletion(-)
Approvals:
Andrew Bogott: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/apt/manifests/repository.pp
b/modules/apt/manifests/repository.pp
index d6c042c..b6aa2c9 100644
--- a/modules/apt/manifests/repository.pp
+++ b/modules/apt/manifests/repository.pp
@@ -5,6 +5,7 @@
$source=true,
$comment_old=false,
$keyfile='',
+ $priority='',
$ensure=present
) {
$binline = "deb ${uri} ${dist} ${components}\n"
@@ -13,12 +14,17 @@
default => '',
}
+ $pinline = $priority ? {
+ '' => '',
+ default => "Pin-Priority: ${priority}\n",
+ }
+
file { "/etc/apt/sources.list.d/${name}.list":
ensure => $ensure,
owner => 'root',
group => 'root',
mode => '0444',
- content => "${binline}${srcline}",
+ content => "${binline}${srcline}${pinline}",
}
if $comment_old {
--
To view, visit https://gerrit.wikimedia.org/r/110124
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I312a1c5e720d505b3b77f769fd622d03bc13e9aa
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Andrew Bogott <[email protected]>
Gerrit-Reviewer: Andrew Bogott <[email protected]>
Gerrit-Reviewer: Ori.livneh <[email protected]>
Gerrit-Reviewer: coren <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
