我正在寻找指定 NTP 服务器的优先级/优先级的文档（ubuntu 20.04）。
我正在使用具有 ntp.ubuntu 服务器的 timesyncd，但是当通过 DHCP 连接到网络时，我想使用我的 DHCP 服务器正在使用的 NTP 服务器 - 因此我为我的 systemd-networkd 设置设置了选项 42。如果 DHCP 服务器不提供 NTP 服务器信息，系统是否会回退到 timesyncd 服务器？
有人能给我指出一些可能指引我正确方向的文档吗？谢谢
使用 systemd-timesyncd 的 NTP 服务器优先级