{
  # Time zone and internationalisation properties.
  time.timeZone      = "Europe/Oslo";
  i18n.defaultLocale = "en_US.utf8";
  i18n.extraLocaleSettings.LC_ADDRESS        = "nb_NO.utf8";
  i18n.extraLocaleSettings.LC_IDENTIFICATION = "nb_NO.utf8";
  i18n.extraLocaleSettings.LC_MEASUREMENT    = "nb_NO.utf8";
  i18n.extraLocaleSettings.LC_MONETARY       = "nb_NO.utf8";
  i18n.extraLocaleSettings.LC_NAME           = "nb_NO.utf8";
  i18n.extraLocaleSettings.LC_NUMERIC        = "nb_NO.utf8";
  i18n.extraLocaleSettings.LC_PAPER          = "nb_NO.utf8";
  i18n.extraLocaleSettings.LC_TELEPHONE      = "nb_NO.utf8";
  i18n.extraLocaleSettings.LC_TIME           = "nb_NO.utf8";
  console.keyMap              = "no";
  services.xserver.layout     = "no";
  services.xserver.xkbVariant = "";

  # no caps lock
  services.xserver.xkbOptions = "ctrl:nocaps"; # TODO: doesn't work
  #console.useXkbConfig = true; # applies to ttys aswell, mutex with console.keyMap
  # run the following to make GNOME reload the xkb options:
  /*
    gsettings reset org.gnome.desktop.input-sources xkb-options
    gsettings reset org.gnome.desktop.input-sources sources
  */
}