diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2017-03-30 22:39:00 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2017-03-30 22:39:00 -0300 |
commit | a385359872d6ef58fd08dc09f805424306d79763 (patch) | |
tree | 8feff35f79761162b8b9ca9ca5e0f4bf02799a90 /manifests/utils/development/ide.pp | |
parent | f4b2e2073cf63719603eec58d512b53524bc5e24 (diff) | |
download | puppet-nodo-a385359872d6ef58fd08dc09f805424306d79763.tar.gz puppet-nodo-a385359872d6ef58fd08dc09f805424306d79763.tar.bz2 |
Adds yamllint into nodo::utils::development::ide
Diffstat (limited to 'manifests/utils/development/ide.pp')
-rw-r--r-- | manifests/utils/development/ide.pp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/manifests/utils/development/ide.pp b/manifests/utils/development/ide.pp index 96d92e1..da675ac 100644 --- a/manifests/utils/development/ide.pp +++ b/manifests/utils/development/ide.pp @@ -9,6 +9,7 @@ class nodo::utils::development::ide ( 'markdown', 'python-sphinx', 'pelican', + 'yamllint', #'ttyrec', #'bugs-everywhere', #'silversearcher-ag', |