diff --git a/manifests/plugin.pp b/manifests/plugin.pp index 026fddeb8..ade80142b 100644 --- a/manifests/plugin.pp +++ b/manifests/plugin.pp @@ -122,10 +122,12 @@ if (empty(grep([ $::jenkins_plugins ], $search))) { if ($jenkins::proxy_host) { + $no_proxy = join($jenkins::no_proxy_list, ',') Exec { environment => [ "http_proxy=${jenkins::proxy_host}:${jenkins::proxy_port}", - "https_proxy=${jenkins::proxy_host}:${jenkins::proxy_port}" + "https_proxy=${jenkins::proxy_host}:${jenkins::proxy_port}", + "no_proxy=${no_proxy}" ] } }