From df0c13eb92fc8500b59c63c88edec3884dfb6fcd Mon Sep 17 00:00:00 2001
From: Timo Wilken
Date: Wed, 18 Sep 2024 09:46:57 +0200
Subject: 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".
---
 tw/system/cern.scm | 9 +++++----
 1 file 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
-- 
cgit v1.2.3