diff options
author | intrigeri <intrigeri@boum.org> | 2010-11-21 16:41:56 +0100 |
---|---|---|
committer | intrigeri <intrigeri@boum.org> | 2010-11-21 16:41:56 +0100 |
commit | f22861e820dc2c7f638561a2704dff19810daa66 (patch) | |
tree | f73f4192205053459f7da4c94532a6bb5b21c726 /manifests/proxy_client.pp | |
parent | 71d42350d1edb643a20e651a6c4ab965e6903305 (diff) | |
parent | 27d5808299045ebd6f428e7d8131d11d9ab37712 (diff) |
Merge commit '27d5808299045ebd6f428e7d8131d11d9ab37712'.
One more painless merge commit.
Conflicts:
manifests/init.pp
Diffstat (limited to 'manifests/proxy_client.pp')
-rw-r--r-- | manifests/proxy_client.pp | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/manifests/proxy_client.pp b/manifests/proxy_client.pp new file mode 100644 index 0000000..9883933 --- /dev/null +++ b/manifests/proxy_client.pp @@ -0,0 +1,16 @@ +class apt::proxy_client { + + $real_apt_proxy = $apt_proxy ? { + "" => "localhost", + default => $apt_proxy + } + + $real_apt_proxy_port = $apt_proxy_port ? { + "" => "3142", + default => $apt_proxy_port + } + + apt_conf { "20proxy": + content => template("apt/20proxy.erb"), + } +} |