diff options
author | intrigeri <intrigeri@boum.org> | 2012-01-07 15:23:47 +0100 |
---|---|---|
committer | intrigeri <intrigeri@boum.org> | 2012-11-11 23:11:17 +0100 |
commit | 0c28fa636653f395c756f56c93f8c78fddfcee00 (patch) | |
tree | 294bc78b7a707d6512a1b0a183f947af1a3c21df /manifests/init.pp | |
parent | 911cc18e594bb5a3ab642ebb24615a0447050c32 (diff) |
Allow redirecting DNS requests to Tor for specific users or globally.
Diffstat (limited to 'manifests/init.pp')
-rw-r--r-- | manifests/init.pp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/manifests/init.pp b/manifests/init.pp index f69a6f2..5c9b602 100644 --- a/manifests/init.pp +++ b/manifests/init.pp @@ -28,6 +28,12 @@ class shorewall { case $tor_transparent_proxy_port { '': { $tor_transparent_proxy_port = '9040' } } + case $tor_dns_host { + '': { $tor_dns_host = '127.0.0.1' } + } + case $tor_dns_port { + '': { $tor_dns_port = '8853' } + } if $tor_user == '' { $tor_user = $dist_tor_user ? { '' => 'tor', |