if $pins {
create_resources('apt::pin', $pins)
}
+
+ # required for adding GPG keys on Debian 9 (and derivatives)
+ case $facts['os']['name'] {
+ 'Debian': {
+ if versioncmp($facts['os']['release']['full'], '9.0') >= 0 {
+ ensure_packages(['dirmngr'])
+ }
+ }
+ 'Ubuntu': {
+ if versioncmp($facts['os']['release']['full'], '17.04') >= 0 {
+ ensure_packages(['dirmngr'])
+ }
+ }
+ default: { }
+ }
}
server => $server,
options => $options,
} -> anchor { "apt_key ${id} present": }
+
+ case $facts['os']['name'] {
+ 'Debian': {
+ if versioncmp($facts['os']['release']['full'], '9.0') >= 0 {
+ AptKey<| title == $title |> {
+ require => Package['dirmngr']
+ }
+ }
+ }
+ 'Ubuntu': {
+ if versioncmp($facts['os']['release']['full'], '17.04') >= 0 {
+ AptKey<| title == $title |> {
+ require => Package['dirmngr']
+ }
+ }
+ }
+ default: { }
+ }
}
}
notify => $_notify,
}
- # required for adding apt GPG keys
- case $facts['os']['name'] {
- 'Debian': {
- if versioncmp($facts['os']['release']['full'], '9.0') >= 0 {
- ensure_packages(['dirmngr'])
- }
- }
- 'Ubuntu': {
- if versioncmp($facts['os']['release']['full'], '17.04') >= 0 {
- ensure_packages(['dirmngr'])
- }
- }
- default: { }
- }
-
}
"operatingsystem": "Debian",
"operatingsystemrelease": [
"7",
- "8"
+ "8",
+ "9"
]
},
{