diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2011-08-26 11:46:17 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2011-08-26 11:46:17 -0300 |
commit | 07f474882f3334002c3684ce3f8521b41b503488 (patch) | |
tree | b147c1d5397ffa6a2f6b8cd81c57f1c8c1b9041e | |
parent | 32ae24357c7984b82023a8ec95ffa918e31e7c4f (diff) | |
download | puppet-nodo-07f474882f3334002c3684ce3f8521b41b503488.tar.gz puppet-nodo-07f474882f3334002c3684ce3f8521b41b503488.tar.bz2 |
Using $apt_include_src instead of $apt_repos
-rw-r--r-- | manifests/desktop.pp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manifests/desktop.pp b/manifests/desktop.pp index 4a5215a..4127aac 100644 --- a/manifests/desktop.pp +++ b/manifests/desktop.pp @@ -50,6 +50,6 @@ class nodo::desktop::webdev inherits nodo::desktop { } class nodo::desktop::dev { - $apt_repos = 'main contrib non-free source' + $apt_include_src = true include nodo::desktop::webdev } |