diff options
| author | intrigeri <intrigeri@boum.org> | 2010-10-17 16:43:04 +0200 |
|---|---|---|
| committer | intrigeri <intrigeri@boum.org> | 2010-10-17 16:43:04 +0200 |
| commit | 20b67058ab4b29e443d082f7542ecb5d26d138e8 (patch) | |
| tree | c7c4173ec970f3b2032443318bef78b80d873e76 | |
| parent | 487855daf226e9d7c7cfd788c453976f78aea4b6 (diff) | |
No need to refresh APT lists after changes to pinning preferences.
| -rw-r--r-- | manifests/init.pp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/manifests/init.pp b/manifests/init.pp index 1efc443..8cf101b 100644 --- a/manifests/init.pp +++ b/manifests/init.pp @@ -146,10 +146,10 @@ class apt { command => '/usr/bin/apt-get update && sleep 1', refreshonly => true, subscribe => [ File["/etc/apt/apt.conf.d"], - Config_file["/etc/apt/preferences", "/etc/apt/sources.list", "apt_config"] ]; + Config_file["/etc/apt/sources.list", "apt_config"] ]; 'update_apt': command => '/usr/bin/apt-get update && /usr/bin/apt-get autoclean', - require => [ Config_file["/etc/apt/preferences", "/etc/apt/sources.list", "apt_config"] ], + require => [ Config_file["/etc/apt/sources.list", "apt_config"] ], loglevel => info, # Another Semaphor for all packages to reference alias => "apt_updated"; |