mirror of
https://github.com/nix-community/home-manager
synced 2024-07-05 04:43:28 +02:00
201 lines
5.1 KiB
Nix
201 lines
5.1 KiB
Nix
{ config, lib, pkgs, ... }:
|
|
|
|
with lib;
|
|
|
|
let
|
|
|
|
cfg = config.programs.gnome-terminal;
|
|
|
|
dag = config.lib.dag;
|
|
|
|
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.
|
|
'';
|
|
};
|
|
};
|
|
}
|
|
);
|
|
|
|
toDconfIni = generators.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;
|
|
};
|
|
}
|
|
//
|
|
mapAttrs' (name: value:
|
|
nameValuePair ("profiles:/:${name}") (buildProfileSet value)
|
|
) cfg.profile;
|
|
|
|
in
|
|
|
|
{
|
|
meta.maintainers = [ maintainers.rycee ];
|
|
|
|
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.attrsOf profileSubModule;
|
|
description = "A set of Gnome Terminal profiles.";
|
|
};
|
|
};
|
|
};
|
|
|
|
config = mkIf cfg.enable {
|
|
home.packages = [ pkgs.gnome3.gnome_terminal ];
|
|
|
|
# The dconf service needs to be installed and prepared.
|
|
home.activation.gnomeTerminal = dag.entryAfter ["installPackages"] (
|
|
let
|
|
iniText = toDconfIni (buildIniSet cfg);
|
|
iniFile = pkgs.writeText "gnome-terminal.ini" iniText;
|
|
dconfPath = "/org/gnome/terminal/legacy/";
|
|
in
|
|
''
|
|
if [[ -v DRY_RUN ]]; then
|
|
echo ${pkgs.gnome3.dconf}/bin/dconf load ${dconfPath} "<" ${iniFile}
|
|
else
|
|
${pkgs.gnome3.dconf}/bin/dconf load ${dconfPath} < ${iniFile}
|
|
fi
|
|
''
|
|
);
|
|
};
|
|
}
|