diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2010-06-30 17:14:53 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2010-06-30 17:14:53 -0300 |
| commit | 6e5d3b4f0c28782703939ef2d03da64d9413c7f1 (patch) | |
| tree | 6a77ae25699beca4752474199c37459f03d54ff7 /manifests/personal.pp | |
| parent | 61375314df8929d7c89d102b8f2f228db605b8b8 (diff) | |
| download | puppet-nodo-6e5d3b4f0c28782703939ef2d03da64d9413c7f1.tar.gz puppet-nodo-6e5d3b4f0c28782703939ef2d03da64d9413c7f1.tar.bz2 | |
Currently tor management just works for debian
Diffstat (limited to 'manifests/personal.pp')
| -rw-r--r-- | manifests/personal.pp | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/manifests/personal.pp b/manifests/personal.pp index 0085549..ca03b19 100644 --- a/manifests/personal.pp +++ b/manifests/personal.pp @@ -9,7 +9,15 @@ class nodo::personal { include utils::personal include pam include xorg - include tor + + # Currently tor management just works for debian + case $operatingsystem { + debian: { + include tor + } + } + default: { } + } # misc user data file { "/var/data": |