nixos-config/system/home-manager/terminal.nix
Christoph Heiss 416710c7c8
machines: zero: Set custom font size for terminal
Signed-off-by: Christoph Heiss <christoph@c8h4.io>
2023-08-22 20:48:56 +02:00

55 lines
1.5 KiB
Nix

{ config, lib, ... }:
let
cfg = config.my.terminal;
mkFontDesc = size: weight:
"Jetbrains Mono:size=${
toString size
}:weight=${weight},Noto Color Emoji:size=${toString size}";
in {
options.my.terminal.fontSize = lib.mkOption {
default = 9;
type = lib.types.numbers.positive;
};
config.programs.foot = {
enable = true;
settings = {
main = {
shell = "tmux";
font = mkFontDesc cfg.fontSize "semibold";
font-bold = mkFontDesc cfg.fontSize "extrabold";
};
scrollback.lines = 0;
cursor = {
style = "underline";
color = "ffffff ffffff";
underline-thickness = 1;
};
mouse.hide-when-typing = "yes";
colors = {
foreground = "c0caf5";
background = "1a1b26";
regular0 = "15161e"; # black
regular1 = "f7768e"; # red
regular2 = "9ece6a"; # green
regular3 = "e0af68"; # yellow
regular4 = "7aa2f7"; # blue
regular5 = "bb9af7"; # magenta
regular6 = "7dcfff"; # cyan
regular7 = "a9b1d6"; # white
bright0 = "414868"; # bright black
bright1 = "f7768e"; # bright red
bright2 = "9ece6a"; # bright green
bright3 = "e0af68"; # bright yellow
bright4 = "7aa2f7"; # bright blue
bright5 = "bb9af7"; # bright magenta
bright6 = "7dcfff"; # bright cyan
bright7 = "c0caf5"; # bright white
dim0 = "ff9e64";
dim1 = "db4b4b";
};
};
};
}