diff options
Diffstat (limited to 'manifests/sources_list.pp')
| -rw-r--r-- | manifests/sources_list.pp | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/manifests/sources_list.pp b/manifests/sources_list.pp index edf7f22..499116d 100644 --- a/manifests/sources_list.pp +++ b/manifests/sources_list.pp @@ -13,9 +13,13 @@ define apt::sources_list ( include apt::dot_d_directories + # One would expect the 'file' resource on sources.list.d to trigger an + # apt-get update when files are added or modified in the directory, but it + # apparently doesn't. file { "/etc/apt/sources.list.d/${name}": ensure => $ensure, - owner => root, group => 0, mode => 0644; + owner => root, group => 0, mode => 0644, + notify => Exec['refresh_apt'], } if $source { |