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 = undef,
$release = undef,
$pin = undef,
) {
$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['update_apt'];
}
case $source {
undef: {
case $release {
undef: {
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,
}
}
}
}
|
