diff options
Diffstat (limited to 'tw/system')
-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 |