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_ubc-bl2':
22 file { '/etc/ntp.keys.d/ntpkey_iff_ubc-bl6':
25 file { '/etc/ntp.keys.d/ntpkey_iff_dijkstra':
28 file { '/etc/ntp.keys.d/ntpkey_iff_luchesi':
31 file { '/etc/ntp.keys.d/ntpkey_iff_ravel':
34 file { '/usr/local/sbin/ntp-restart-if-required':
35 source => 'puppet:///modules/ntp/ntp-restart-if-required',