If you want to override the NTP servers provided by the DHCP server you could use prepend option ntp-servers ...... or supersede option ntp-servers ...... in /etc/dhcp3/dhclient.conf
This seems to be the Right Thing to do. If you know enough to want to override settings supplied by the DHCP server then use the mechanism that's already in place for doing that. If you don't know/care about DHCP/NTP then the system will do what you expect it to do, which is use the supplied servers. -- Request ntp-servers by default https://bugs.launchpad.net/bugs/74164 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs