From 1960c01fe9ff438c4b105c9a2a1f2886f1630417 Mon Sep 17 00:00:00 2001
From: Timo Wilken
Date: Tue, 11 Apr 2023 17:01:29 +0200
Subject: Use openntpd because plain ntpd wasn't working

---
 tw/system/cern.scm | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

(limited to 'tw')

diff --git a/tw/system/cern.scm b/tw/system/cern.scm
index ff42e523..bb08123b 100644
--- a/tw/system/cern.scm
+++ b/tw/system/cern.scm
@@ -238,6 +238,14 @@
          (authorized-keys
           `(("twilken" ,(local-file "files/timo-cern.pub"))))))
 
+      (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"))
+         (constraints-from '("home.cern"))))
+
       (modify-services %desktop-services
         (gdm-service-type
          config =>
@@ -260,6 +268,9 @@
          (login-configuration
           (inherit config)
           (motd (plain-file "no-motd" ""))
-          (allow-empty-passwords? #f))))))))
+          (allow-empty-passwords? #f)))
+
+        ;; openntpd works better.
+        (delete ntp-service-type))))))
 
 %cern-system
-- 
cgit v1.2.3