Я ищу документацию, которая определяет приоритет NTP-серверов (Ubuntu 20.04).
Я использую timesyncd, в котором есть сервер ntp.ubuntu. Но при подключении к сети через DHCP я хочу использовать сервер NTP, который использует мой сервер DHCP, поэтому у меня установлена опция 42 для моих настроек systemd-networkd. В случае, если сервер DHCP не предоставляет информацию о сервере NTP, система возвращается к серверу timesyncd?
Может ли кто-нибудь указать мне на документацию, которая могла бы направить меня в правильном направлении? Спасибо.