One comment on @philroche's patch: at present, there is no supported way to allow DHCP to augment (rather than replace) NTP servers in /etc/ntp.conf. The different handling of tabs & spaces is a known- useful workaround for those of us who wish to allow DHCP to specify additional servers, without removing those specified in /etc/ntp.conf. The patch would eliminate this option, and would allow only DHCP- specified servers OR /etc/ntp.conf servers, not both. Thus, my opinion is -1 for that patch as-is, and +1 for the upstream Debian version.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1656801 Title: ntp: changing the default config from server to pool broke the dhcp hook To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/ntp/+bug/1656801/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
