diff options
author | Matt Taggart <taggart@riseup.net> | 2017-09-25 21:42:08 +0000 |
---|---|---|
committer | Matt Taggart <taggart@riseup.net> | 2017-09-25 21:42:08 +0000 |
commit | 0f926d725b3d92d4f052c776d578c7de6eca3a88 (patch) | |
tree | 17b00352a5e941979fc7b49d81f59f1ff3e4b804 /manifests | |
parent | 9e573dc12f4a0ae2f608ebdac03452a4ecc6c13d (diff) | |
parent | b1563015d7a3336ca93fb290aafc41cc369b823c (diff) |
Merge branch 'deb_debian_org' into 'master'
replace old httpredir by new deb.debian.org (fix issue #23)
Closes #23
See merge request shared-puppet-modules-group/apt!70
Diffstat (limited to 'manifests')
-rw-r--r-- | manifests/params.pp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manifests/params.pp b/manifests/params.pp index 3879c81..b67a85a 100644 --- a/manifests/params.pp +++ b/manifests/params.pp @@ -6,7 +6,7 @@ class apt::params () { $use_next_release = false $manage_preferences = true $custom_preferences = undef - $debian_url = 'http://httpredir.debian.org/debian/' + $debian_url = 'http://deb.debian.org/debian/' $security_url = 'http://security.debian.org/' $ubuntu_url = 'http://archive.ubuntu.com/ubuntu' $lts_url = $debian_url |