diff options
author | intrigeri <intrigeri@boum.org> | 2015-09-14 22:51:07 +0000 |
---|---|---|
committer | intrigeri <intrigeri@boum.org> | 2015-09-14 22:51:07 +0000 |
commit | cf4726e8452bf27498e15900cfde437314ecef67 (patch) | |
tree | ad179382d82d8f15174b2ebad1cd6f3c1c35bef7 /manifests | |
parent | 58cfaa32f9de6c38157b2680fbf59da400b8f940 (diff) | |
parent | 5f7232b420e02eaa38c14a7be75034d9b3cdd64b (diff) |
Merge remote-tracking branch 'shared/key' into shared-master (!17)
Diffstat (limited to 'manifests')
-rw-r--r-- | manifests/key.pp | 13 | ||||
-rw-r--r-- | manifests/key/plain.pp | 13 |
2 files changed, 26 insertions, 0 deletions
diff --git a/manifests/key.pp b/manifests/key.pp new file mode 100644 index 0000000..65b62e9 --- /dev/null +++ b/manifests/key.pp @@ -0,0 +1,13 @@ +define apt::key ($source, $ensure = 'present') { + validate_re( + $name, '\.gpg$', + 'An apt::key resource name must have the .gpg extension', + ) + + file { + "/etc/apt/trusted.gpg.d/${name}": + ensure => $ensure, + source => $source, + notify => Exec['refresh_apt'], + } +} diff --git a/manifests/key/plain.pp b/manifests/key/plain.pp new file mode 100644 index 0000000..e4a2f89 --- /dev/null +++ b/manifests/key/plain.pp @@ -0,0 +1,13 @@ +define apt::key::plain ($source) { + file { + "${apt::apt_base_dir}/keys/${name}": + source => $source; + "${apt::apt_base_dir}/keys": + ensure => directory; + } + exec { "apt-key add '${apt::apt_base_dir}/keys/${name}'": + subscribe => File["${apt::apt_base_dir}/keys/${name}"], + refreshonly => true, + notify => Exec['refresh_apt'], + } +} |