One issue with this is that gnome-system-tools/system-tools-backends is set up to edit /etc/ntp.conf by default (although it's not obvious to me that it does so quite correctly, but anyway ...). Perhaps it would be more straightforward for /etc/network/if-up.d/ntpdate to fall back to /etc/default/ntpdate.dhcp if it doesn't find any ntp.conf-style server configuration?
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/427775 Title: ntpdate.dhcp always ignored -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
