diff options
author | Timo Wilken | 2023-04-11 17:01:29 +0200 |
---|---|---|
committer | Timo Wilken | 2023-04-11 17:01:29 +0200 |
commit | 1960c01fe9ff438c4b105c9a2a1f2886f1630417 (patch) | |
tree | 505ebd567905d01a44fc59f4cda26104b1021b4f /tw/system | |
parent | e2b93b8f0e57d1c285cdd47d9e5674ce8140ae76 (diff) |
Use openntpd because plain ntpd wasn't working
Diffstat (limited to 'tw/system')
-rw-r--r-- | tw/system/cern.scm | 13 |
1 files changed, 12 insertions, 1 deletions
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 |