Muehlenhoff has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/380726 )
Change subject: Adapt mediawiki::packages::math for stretch
......................................................................
Adapt mediawiki::packages::math for stretch
The binary package name changed in stretch. Also switch to require_package.
Change-Id: Ic3a9fccebf41082121f34451ab499a08f72fee71
---
M modules/mediawiki/manifests/packages/math.pp
1 file changed, 6 insertions(+), 9 deletions(-)
Approvals:
Giuseppe Lavagetto: Looks good to me, but someone else must approve
Muehlenhoff: Looks good to me, approved
jenkins-bot: Verified
diff --git a/modules/mediawiki/manifests/packages/math.pp
b/modules/mediawiki/manifests/packages/math.pp
index 7d293e2..50a928c 100644
--- a/modules/mediawiki/manifests/packages/math.pp
+++ b/modules/mediawiki/manifests/packages/math.pp
@@ -3,14 +3,11 @@
# Provisions packages used by MediaWiki for math rendering.
#
class mediawiki::packages::math {
- package { [
- 'dvipng',
- 'gsfonts',
- 'make',
- 'ocaml',
- 'ploticus',
- 'mediawiki-math-texvc',
- ]:
- ensure => present,
+ require_package('dvipng', 'gsfonts', 'make', 'ocaml', 'ploticus')
+
+ if os_version('ubuntu == trusty') or os_version('debian == jessie') {
+ require_package('mediawiki-math-texvc')
+ } else {
+ require_package('texvc')
}
}
--
To view, visit https://gerrit.wikimedia.org/r/380726
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ic3a9fccebf41082121f34451ab499a08f72fee71
Gerrit-PatchSet: 3
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Muehlenhoff <mmuhlenh...@wikimedia.org>
Gerrit-Reviewer: Alex Monk <kren...@gmail.com>
Gerrit-Reviewer: Elukey <ltosc...@wikimedia.org>
Gerrit-Reviewer: Giuseppe Lavagetto <glavage...@wikimedia.org>
Gerrit-Reviewer: Muehlenhoff <mmuhlenh...@wikimedia.org>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
