2014-04-14 16:26:48 +02:00
|
|
|
{ config, lib, pkgs, ... }:
|
2009-05-28 01:14:38 +02:00
|
|
|
|
2014-04-14 16:26:48 +02:00
|
|
|
with lib;
|
2009-05-28 01:14:38 +02:00
|
|
|
|
2014-05-21 18:26:13 +02:00
|
|
|
let
|
|
|
|
|
|
|
|
tzdir = "${pkgs.tzdata}/share/zoneinfo";
|
2017-10-09 20:52:25 +02:00
|
|
|
nospace = str: filter (c: c == " ") (stringToCharacters str) == [];
|
|
|
|
timezone = types.nullOr (types.addCheck types.str nospace)
|
|
|
|
// { description = "null or string without spaces"; };
|
2014-05-21 18:26:13 +02:00
|
|
|
|
|
|
|
in
|
|
|
|
|
2011-10-27 21:36:03 +02:00
|
|
|
{
|
2009-05-28 01:14:38 +02:00
|
|
|
options = {
|
|
|
|
|
2012-07-02 21:34:27 +02:00
|
|
|
time = {
|
2013-04-22 18:56:19 +02:00
|
|
|
|
2012-07-02 21:34:27 +02:00
|
|
|
timeZone = mkOption {
|
2017-07-31 16:55:24 +02:00
|
|
|
default = null;
|
2017-10-09 20:52:25 +02:00
|
|
|
type = timezone;
|
2012-07-02 21:34:27 +02:00
|
|
|
example = "America/New_York";
|
2014-12-15 16:28:40 +01:00
|
|
|
description = ''
|
|
|
|
The time zone used when displaying times and dates. See <link
|
|
|
|
xlink:href="https://en.wikipedia.org/wiki/List_of_tz_database_time_zones"/>
|
|
|
|
for a comprehensive list of possible values for this setting.
|
2017-07-31 16:55:24 +02:00
|
|
|
|
|
|
|
If null, the timezone will default to UTC and can be set imperatively
|
|
|
|
using timedatectl.
|
2014-12-15 16:28:40 +01:00
|
|
|
'';
|
2012-07-02 21:34:27 +02:00
|
|
|
};
|
2009-05-28 01:14:38 +02:00
|
|
|
|
2012-07-11 21:33:34 +02:00
|
|
|
hardwareClockInLocalTime = mkOption {
|
2012-07-02 21:34:27 +02:00
|
|
|
default = false;
|
2015-07-19 18:49:23 +02:00
|
|
|
type = types.bool;
|
2012-07-11 21:33:34 +02:00
|
|
|
description = "If set, keep the hardware clock in local time instead of UTC.";
|
2012-07-02 21:34:27 +02:00
|
|
|
};
|
2013-04-22 18:56:19 +02:00
|
|
|
|
2012-07-02 21:34:27 +02:00
|
|
|
};
|
2009-05-28 01:14:38 +02:00
|
|
|
};
|
|
|
|
|
2011-10-27 21:36:03 +02:00
|
|
|
config = {
|
2009-05-28 01:14:38 +02:00
|
|
|
|
2014-06-13 17:56:46 +02:00
|
|
|
environment.sessionVariables.TZDIR = "/etc/zoneinfo";
|
2009-05-28 01:14:38 +02:00
|
|
|
|
2016-10-11 13:49:38 +02:00
|
|
|
# This way services are restarted when tzdata changes.
|
2014-05-21 18:26:13 +02:00
|
|
|
systemd.globalEnvironment.TZDIR = tzdir;
|
|
|
|
|
2017-07-31 16:55:24 +02:00
|
|
|
systemd.services.systemd-timedated.environment = lib.optionalAttrs (config.time.timeZone != null) { NIXOS_STATIC_TIMEZONE = "1"; };
|
2013-04-22 18:56:19 +02:00
|
|
|
|
2017-07-31 16:55:24 +02:00
|
|
|
environment.etc = {
|
|
|
|
zoneinfo.source = tzdir;
|
2017-07-31 17:12:53 +02:00
|
|
|
} // lib.optionalAttrs (config.time.timeZone != null) {
|
2017-07-31 16:55:24 +02:00
|
|
|
localtime.source = "/etc/zoneinfo/${config.time.timeZone}";
|
|
|
|
localtime.mode = "direct-symlink";
|
|
|
|
};
|
2011-10-27 21:36:03 +02:00
|
|
|
};
|
2013-04-22 18:56:19 +02:00
|
|
|
|
2009-05-28 01:14:38 +02:00
|
|
|
}
|