Advertisement
Guest User

Untitled

a guest
Sep 26th, 2016
65
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.58 KB | None | 0 0
  1. if $pgpkey != false {
  2. file {"/etc/pki/rpm-gpg/${pgpkey}":
  3. mode => '0444',
  4. owner => '0',
  5. group => '0',
  6. }
  7. if $pgpkeysource != false {
  8. File["/etc/pki/rpm-gpg/${pgpkey}"] {
  9. source => "${pgpkeysource}",
  10. }
  11. }
  12. exec {"pgpkey-${pgpkey}":
  13. command => "/bin/rpm --import /etc/pki/rpm-gpg/${pgpkey}",
  14. cwd => "/",
  15. refreshonly => true,
  16. subscribe => [ File["/etc/pki/rpm-gpg/${pgpkey}"] ],
  17. }
  18. }
  19. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement