Bug#376019: [pkg-ntp-maintainers] Bug#376019: /etc/default/ntpdate:NTPSERVERS could be initialised from ntp.conf

[Peter Eisentraut]

martin f krafft wrote:
> I use the following in /etc/default/ntpdate with success:
>
>   NTPSERVERS="$(sed -rne 's/^server ([-_.[:alnum:]]+)$/\1/p'
>     /etc/ntp.conf 2>/dev/null || echo echo
> {0,1,2,3}.debian.pool.ntp.org)" # override:
>   #NTPSERVERS="time.ethz.ch"

This seems to contradict the request in #375280 to use a different set 
of default servers for ntpdate than for ntp, which I'm inclined to 
agree with.