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_bm-bl1':
8 source => 'puppet:///modules/ntp/ntpkey_iff_bm-bl1.pub',
10 file { '/etc/ntp.keys.d/ntpkey_iff_bm-bl2':
11 source => 'puppet:///modules/ntp/ntpkey_iff_bm-bl2.pub',
13 file { '/etc/ntp.keys.d/ntpkey_iff_manda-node03':
14 source => 'puppet:///modules/ntp/ntpkey_iff_manda-node03.pub',
16 file { '/etc/ntp.keys.d/ntpkey_iff_manda-node04':
17 source => 'puppet:///modules/ntp/ntpkey_iff_manda-node04.pub',
19 file { '/etc/ntp.keys.d/ntpkey_iff_clementi':
22 file { '/etc/ntp.keys.d/ntpkey_iff_czerny':
25 file { '/etc/ntp.keys.d/ntpkey_iff_ubc-bl2':
28 file { '/etc/ntp.keys.d/ntpkey_iff_ubc-bl6':
31 file { '/etc/ntp.keys.d/ntpkey_iff_dijkstra':
34 file { '/etc/ntp.keys.d/ntpkey_iff_luchesi':
37 file { '/etc/ntp.keys.d/ntpkey_iff_ravel':
40 file { '/usr/local/sbin/ntp-restart-if-required':
41 source => 'puppet:///modules/ntp/ntp-restart-if-required',