Muehlenhoff has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/394963 )

Change subject: Install lilypond from stretch-backports
......................................................................


Install lilypond from stretch-backports

Lilypond missed stretch as it wasn't ported to Guile 2, later
versions bundled a local copy of Guile 1.8, install it from backports

Change-Id: Ica1cd3c469a282245fea427ebbef5152078f974e
---
M modules/mediawiki/manifests/packages.pp
1 file changed, 12 insertions(+), 0 deletions(-)

Approvals:
  Muehlenhoff: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/modules/mediawiki/manifests/packages.pp 
b/modules/mediawiki/manifests/packages.pp
index 1136abb..958988c 100644
--- a/modules/mediawiki/manifests/packages.pp
+++ b/modules/mediawiki/manifests/packages.pp
@@ -47,6 +47,18 @@
     ]:
         ensure => present,
     }
+
+    # Lilypond missed stretch as it wasn't ported to Guile 2, later versions 
bundled
+    # a local copy of Guile 1.8, install it from backports
+    if os_version('debian == stretch') {
+        apt::pin { 'lilypond':
+            package  => 'lilypond',
+            pin      => 'release a=stretch-backports',
+            priority => '1001',
+            before   => Package['lilypond'],
+        }
+    }
+
     # timidity recommends timidity-daemon, but we don't need it.
     package { 'timidity-daemon':
       ensure => absent,

-- 
To view, visit https://gerrit.wikimedia.org/r/394963
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ica1cd3c469a282245fea427ebbef5152078f974e
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Muehlenhoff <[email protected]>
Gerrit-Reviewer: Alex Monk <[email protected]>
Gerrit-Reviewer: Elukey <[email protected]>
Gerrit-Reviewer: Giuseppe Lavagetto <[email protected]>
Gerrit-Reviewer: Muehlenhoff <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to