blob: b7dba0d82b1a916fc0fcfa38dab9e985e6cd641e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
|
define apt::preferences_snippet (
$priority = undef,
$package = false,
$ensure = 'present',
$source = '',
$release = '',
$pin = ''
) {
$real_package = $package ? {
false => $name,
default => $package,
}
if $ensure == 'present' {
if $apt::custom_preferences == false {
fail('Trying to define a preferences_snippet with $custom_preferences set to false.')
}
if $priority == undef {
fail('apt::preferences_snippet requires the \'priority\' argument to be set')
}
if !$pin and !$release {
fail('apt::preferences_snippet requires one of the \'pin\' or \'release\' argument to be set')
}
if $pin and $release {
fail('apt::preferences_snippet requires either a \'pin\' or \'release\' argument, not both')
}
}
file { "/etc/apt/preferences.d/${name}":
ensure => $ensure,
owner => root, group => 0, mode => '0644',
before => Exec['apt_updated'];
}
case $source {
'': {
case $release {
'': {
File["/etc/apt/preferences.d/${name}"]{
content => template('apt/preferences_snippet.erb')
}
}
default: {
File["/etc/apt/preferences.d/${name}"]{
content => template('apt/preferences_snippet_release.erb')
}
}
}
}
default: {
File["/etc/apt/preferences.d/${name}"]{
source => $source
}
}
}
}
|
