diff options
Diffstat (limited to 'manifests/utils/development/ide.pp')
-rw-r--r-- | manifests/utils/development/ide.pp | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/manifests/utils/development/ide.pp b/manifests/utils/development/ide.pp index 2e89273..96d92e1 100644 --- a/manifests/utils/development/ide.pp +++ b/manifests/utils/development/ide.pp @@ -1,4 +1,6 @@ -class nodo::utils::development::ide { +class nodo::utils::development::ide ( + $ensure = 'installed', +) { # In use package { [ 'mr', @@ -18,6 +20,6 @@ class nodo::utils::development::ide { #'doxygen', #'agave', ]: - ensure => installed, + ensure => $ensure, } } |