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_czerny':
8 source => 'puppet:///modules/ntp/ntpkey_iff_czerny.pub',
10 file { '/etc/ntp.keys.d/ntpkey_iff_clementi':
11 source => 'puppet:///modules/ntp/ntpkey_iff_clementi.pub',
13 file { '/etc/ntp.keys.d/ntpkey_iff_bm-bl1':
14 source => 'puppet:///modules/ntp/ntpkey_iff_bm-bl1.pub',
16 file { '/etc/ntp.keys.d/ntpkey_iff_bm-bl2':
17 source => 'puppet:///modules/ntp/ntpkey_iff_bm-bl2.pub',
19 file { '/etc/ntp.keys.d/ntpkey_iff_dijkstra':
20 source => 'puppet:///modules/ntp/ntpkey_iff_dijkstra.pub',
22 file { '/etc/ntp.keys.d/ntpkey_iff_luchesi':
23 source => 'puppet:///modules/ntp/ntpkey_iff_luchesi.pub',
25 file { '/etc/ntp.keys.d/ntpkey_iff_ravel':
28 file { '/etc/ntp.keys.d/ntpkey_iff_busoni':