{ config, lib, pkgs, ... }: with lib; let cfg = config.programs.gnome-terminal; profileColorsSubModule = types.submodule ( { ... }: { options = { foregroundColor = mkOption { type = types.str; description = "The foreground color."; }; backgroundColor = mkOption { type = types.str; description = "The background color."; }; boldColor = mkOption { default = null; type = types.nullOr types.str; description = "The bold color, null to use same as foreground."; }; palette = mkOption { type = types.listOf types.str; description = "The terminal palette."; }; }; } ); profileSubModule = types.submodule ( { name, config, ... }: { options = { default = mkOption { default = false; type = types.bool; description = "Whether this should be the default profile."; }; visibleName = mkOption { type = types.str; description = "The profile name."; }; colors = mkOption { default = null; type = types.nullOr profileColorsSubModule; description = "The terminal colors, null to use system default."; }; cursorShape = mkOption { default = "block"; type = types.enum [ "block" "ibeam" "underline" ]; description = "The cursor shape."; }; font = mkOption { default = null; type = types.nullOr types.str; description = "The font name, null to use system default."; }; scrollOnOutput = mkOption { default = true; type = types.bool; description = "Whether to scroll when output is written."; }; showScrollbar = mkOption { default = true; type = types.bool; description = "Whether the scroll bar should be visible."; }; scrollbackLines = mkOption { default = 10000; type = types.nullOr types.int; description = '' The number of scrollback lines to keep, null for infinite. ''; }; }; } ); toINI = (import ../lib/generators.nix).toINI { mkKeyValue = mkIniKeyValue; }; mkIniKeyValue = key: value: let tweakVal = v: if isString v then "'${v}'" else if isList v then "[" + concatStringsSep "," (map tweakVal v) + "]" else if isBool v && v then "true" else if isBool v && !v then "false" else toString v; in "${key}=${tweakVal value}"; buildProfileSet = pcfg: { visible-name = pcfg.visibleName; scrollbar-policy = if pcfg.showScrollbar then "always" else "never"; scrollback-lines = pcfg.scrollbackLines; cursor-shape = pcfg.cursorShape; } // ( if (pcfg.font == null) then { use-system-font = true; } else { use-system-font = false; font = pcfg.font; } ) // ( if (pcfg.colors == null) then { use-theme-colors = true; } else ( { use-theme-colors = false; foreground-color = pcfg.colors.foregroundColor; background-color = pcfg.colors.backgroundColor; palette = pcfg.colors.palette; } // ( if (pcfg.colors.boldColor == null) then { bold-color-same-as-fg = true; } else { bold-color-same-as-fg = false; bold-color = pcfg.colors.boldColor; } ) ) ); buildIniSet = cfg: { "/" = { default-show-menubar = cfg.showMenubar; schema-version = 3; }; } // { "profiles:" = { default = head (attrNames (filterAttrs (n: v: v.default) cfg.profile)); list = attrNames cfg.profile; #mapAttrsToList (n: v: n) cfg.profile; }; } // mapAttrs' (name: value: nameValuePair ("profiles:/:${name}") (buildProfileSet value) ) cfg.profile; in { options = { programs.gnome-terminal = { enable = mkEnableOption "Gnome Terminal"; showMenubar = mkOption { default = true; type = types.bool; description = "Whether to show the menubar by default"; }; profile = mkOption { default = {}; type = types.loaOf profileSubModule; }; }; }; config = mkIf cfg.enable { home.activation.gnome-terminal = let sf = pkgs.writeText "gnome-terminal.ini" (toINI (buildIniSet cfg)); dconfPath = "/org/gnome/terminal/legacy/"; in '' ${pkgs.gnome3.dconf}/bin/dconf load ${dconfPath} < ${sf} ''; }; }