diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2015-06-29 15:35:31 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2015-06-29 15:35:31 -0300 |
| commit | da49436db33d551c0c0bb09918697102e17f4ec8 (patch) | |
| tree | e528727bd54012b4237f4d72c5295ae73d7b1440 | |
| parent | 99c0f3058f3273f1c86815c7bfb5dca43b8e53c1 (diff) | |
| download | puppet-nodo-da49436db33d551c0c0bb09918697102e17f4ec8.tar.gz puppet-nodo-da49436db33d551c0c0bb09918697102e17f4ec8.tar.bz2 | |
Install git-mediawiki on jessie or newer
| -rw-r--r-- | manifests/utils/development/mediawiki.pp | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/manifests/utils/development/mediawiki.pp b/manifests/utils/development/mediawiki.pp index e75b049..5ba5b55 100644 --- a/manifests/utils/development/mediawiki.pp +++ b/manifests/utils/development/mediawiki.pp @@ -1,5 +1,8 @@ class nodo::utils::development::mediawiki { package { 'git-mediawiki': - ensure => present, + ensure => $::lsbdistcodename ? { + 'wheezy' => absent, + default => present, + } } } |