2017-01-07 19:16:26 +01:00
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
with lib;
|
|
|
|
|
|
|
|
let
|
|
|
|
|
|
|
|
cfg = config.programs.gnome-terminal;
|
|
|
|
|
2019-01-03 16:35:15 +01:00
|
|
|
vteInitStr = ''
|
|
|
|
# gnome-terminal: Show current directory in the terminal window title.
|
|
|
|
. ${pkgs.gnome3.vte}/etc/profile.d/vte.sh
|
|
|
|
'';
|
|
|
|
|
2017-01-07 19:16:26 +01:00
|
|
|
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.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|
|
|
|
);
|
|
|
|
|
|
|
|
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;
|
|
|
|
}
|
|
|
|
)
|
|
|
|
)
|
|
|
|
);
|
|
|
|
|
|
|
|
in
|
|
|
|
|
|
|
|
{
|
2017-09-26 23:40:31 +02:00
|
|
|
meta.maintainers = [ maintainers.rycee ];
|
|
|
|
|
2017-01-07 19:16:26 +01:00
|
|
|
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 = {};
|
2017-05-10 00:20:15 +02:00
|
|
|
type = types.attrsOf profileSubModule;
|
2017-01-15 20:03:55 +01:00
|
|
|
description = "A set of Gnome Terminal profiles.";
|
2017-01-07 19:16:26 +01:00
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
|
|
|
|
config = mkIf cfg.enable {
|
2017-01-10 00:35:54 +01:00
|
|
|
home.packages = [ pkgs.gnome3.gnome_terminal ];
|
|
|
|
|
2018-11-04 20:56:43 +01:00
|
|
|
dconf.settings =
|
2017-01-07 19:16:26 +01:00
|
|
|
let
|
2018-11-04 20:56:43 +01:00
|
|
|
dconfPath = "org/gnome/terminal/legacy";
|
2017-01-07 19:16:26 +01:00
|
|
|
in
|
2018-11-04 20:56:43 +01:00
|
|
|
{
|
|
|
|
"${dconfPath}" = {
|
|
|
|
default-show-menubar = cfg.showMenubar;
|
|
|
|
schema-version = 3;
|
|
|
|
};
|
|
|
|
|
|
|
|
"${dconfPath}/profiles:" = {
|
|
|
|
default = head (attrNames (filterAttrs (n: v: v.default) cfg.profile));
|
|
|
|
list = attrNames cfg.profile;
|
|
|
|
};
|
|
|
|
}
|
|
|
|
// mapAttrs' (n: v:
|
|
|
|
nameValuePair ("${dconfPath}/profiles:/:${n}") (buildProfileSet v)
|
|
|
|
) cfg.profile;
|
2019-01-03 16:35:15 +01:00
|
|
|
|
|
|
|
programs.bash.initExtra = mkBefore vteInitStr;
|
|
|
|
programs.zsh.initExtra = vteInitStr;
|
2017-01-07 19:16:26 +01:00
|
|
|
};
|
|
|
|
}
|