diff options
| author | intrigeri <intrigeri@boum.org> | 2010-10-17 01:57:55 +0200 |
|---|---|---|
| committer | intrigeri <intrigeri@boum.org> | 2010-10-17 01:57:55 +0200 |
| commit | bcfb35c969de53aa2972a9d2415be5a258a01be8 (patch) | |
| tree | 9666e083c5391235f97c86032e979973ef299ee6 /manifests/custom_sources.pp | |
| parent | e2f80db7b76171e5945127e2fd42fb35043990fb (diff) | |
| parent | eae01000c1db8bcfa7de17b2a9a8370289b801bc (diff) | |
Merge remote branch 'nadir/master' into wip
Conflicts:
manifests/default_preferences.pp
manifests/default_sources_list.pp
manifests/init.pp
templates/Debian/sources.list.deb-src.erb
templates/Debian/sources.list.erb
templates/Debian/sources.list.volatile.erb
templates/Ubuntu/sources.list.erb
Diffstat (limited to 'manifests/custom_sources.pp')
| -rw-r--r-- | manifests/custom_sources.pp | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/manifests/custom_sources.pp b/manifests/custom_sources.pp new file mode 100644 index 0000000..31d685a --- /dev/null +++ b/manifests/custom_sources.pp @@ -0,0 +1,10 @@ +define apt::custom_sources_template ($sources_file = "") { + file { "/etc/apt/sources.list.d/$sources_file": + content => template($name), + } + exec { "/usr/bin/apt-get update": + subscribe => File["/etc/apt/sources.list.d/$sources_file"], + refreshonly => true, + } + } + |