diff options
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 |