diff options
Diffstat (limited to 'code/environments/production/manifests')
| -rw-r--r-- | code/environments/production/manifests/site.pp | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/code/environments/production/manifests/site.pp b/code/environments/production/manifests/site.pp index 932f981..b5fd443 100644 --- a/code/environments/production/manifests/site.pp +++ b/code/environments/production/manifests/site.pp @@ -7,6 +7,19 @@ $apt_origins = [ 'origin=IT-Zukunft Schule,n=${distro_codename},l=IT-Zukunft Schule', ] +class apt_via_squid_deb_proxy { + file_line { 'apt.conf_httpproxy': + path => '/etc/apt/apt.conf', + line => 'Acquire::http::Proxy "http://unfiltered:8000";', + match => '^(|#\s*)Acquire::http::Proxy\ ".*";$', + } + file_line { 'apt.conf_ftpproxy': + path => '/etc/apt/apt.conf', + line => 'Acquire::ftp::Proxy "http://unfiltered:8000";', + match => '^(|#\s*)Acquire::ftp::Proxy\ ".*";$', + } +} + class ssh_pubkeys_admins { # Mike Gabriel, IT-Zukunft Schule ssh_authorized_key { 'mike@minobo': |