diff options
author | varac <varacanero@zeromail.org> | 2012-12-19 09:40:53 +0100 |
---|---|---|
committer | varac <varacanero@zeromail.org> | 2012-12-19 09:40:53 +0100 |
commit | ffb44c91db24d30bb9584eb27d52f76958d6b732 (patch) | |
tree | 5d3e4e2c755c14e7a9e95dbb89615f8fbd0c0367 /manifests/init.pp | |
parent | 0d5311b1a9fa82e4e423a9e7ce7f5eb919bab40d (diff) | |
parent | 3a473dafd5887cb77b0b764dd951d9581b69f160 (diff) |
Merge branch 'master' of git://labs.riseup.net/shared-apt
Diffstat (limited to 'manifests/init.pp')
-rw-r--r-- | manifests/init.pp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/manifests/init.pp b/manifests/init.pp index 2ae691f..794347f 100644 --- a/manifests/init.pp +++ b/manifests/init.pp @@ -40,6 +40,11 @@ class apt { '' => 'http://archive.ubuntu.com/ubuntu', default => "${apt_ubuntu_url}", } + $disable_update = $apt_disable_update ? { + '' => false, + default => $apt_disable_update + } + case $operatingsystem { 'debian': { $repos = $apt_repos ? { |