2 file { '/etc/default/ntp':
3 source => 'puppet:///modules/ntp/etc-default-ntp',
4 require => Package['ntp'],
5 notify => Service['ntp']
7 file { '/etc/ntp.keys.d/ntpkey_iff_merikanto':
8 source => 'puppet:///modules/ntp/ntpkey_iff_merikanto.pub',
10 file { '/etc/ntp.keys.d/ntpkey_iff_orff':
11 source => 'puppet:///modules/ntp/ntpkey_iff_orff.pub',
13 file { '/etc/ntp.keys.d/ntpkey_iff_ravel':
14 source => 'puppet:///modules/ntp/ntpkey_iff_ravel.pub',
16 file { '/etc/ntp.keys.d/ntpkey_iff_busoni':
17 source => 'puppet:///modules/ntp/ntpkey_iff_busoni.pub',