diff options
| author | Timo Wilken | 2024-09-18 09:46:57 +0200 |
|---|---|---|
| committer | Timo Wilken | 2024-09-18 09:47:00 +0200 |
| commit | df0c13eb92fc8500b59c63c88edec3884dfb6fcd (patch) | |
| tree | 645fa1531b8ecd88b0a3cce0bc145271626bfdb2 | |
| parent | 017df24f576f1f3a66758ac72f11e5318839227e (diff) | |
Fix openntpd configuration for CERN machine
The ip-time-*.cern.ch servers only have one IP address each, so they should be
in "server", not in "servers".
| -rw-r--r-- | tw/system/cern.scm | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/tw/system/cern.scm b/tw/system/cern.scm index 1ca01508..ec8d8891 100644 --- a/tw/system/cern.scm +++ b/tw/system/cern.scm @@ -126,10 +126,11 @@ (service openntpd-service-type (openntpd-configuration - ;; Use CERN time servers. - (servers '("ip-time-0.cern.ch" - "ip-time-1.cern.ch" - "ip-time-2.cern.ch")))) + ;; Use CERN time servers. Fall back to default servers outside CERN + ;; (in `servers' key, so not overwritten). + (server '("ip-time-0.cern.ch" + "ip-time-1.cern.ch" + "ip-time-2.cern.ch")))) (modify-services (enduser-system-services #:host-name host-name |