Ubuntu
dhcp3 package

  1. Bug #74164
  2. Comment #1

Comment 1 for bug 74164

Revision history for this message
Thomas Sprinkmeier (thomas-sprinkmeier-15) wrote :

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.