2022-01-06 21:14:02 -05:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
{
|
|
|
|
programs.alacritty = {
|
|
|
|
enable = true;
|
|
|
|
settings = {
|
2022-03-01 18:40:48 -05:00
|
|
|
window.opacity = 0.9;
|
2022-01-06 21:14:02 -05:00
|
|
|
|
2022-09-23 17:23:08 -04:00
|
|
|
# Based on the Tokyo Night theme
|
2022-01-06 21:14:02 -05:00
|
|
|
colors.primary = {
|
2022-09-23 17:23:08 -04:00
|
|
|
foreground = "#a9b1d6";
|
|
|
|
background = "#1a1b26";
|
2022-01-06 21:14:02 -05:00
|
|
|
};
|
|
|
|
colors.normal = {
|
2022-09-23 17:23:08 -04:00
|
|
|
black = "#32344a";
|
|
|
|
red = "#ce7284";
|
|
|
|
green = "#7dc5a0";
|
|
|
|
yellow = "#caaa6a";
|
|
|
|
blue = "#7bc5e4";
|
|
|
|
magenta = "#ad8ee6";
|
|
|
|
cyan = "#449dab";
|
|
|
|
white = "#787c99";
|
2022-01-06 21:14:02 -05:00
|
|
|
};
|
|
|
|
colors.bright = {
|
2022-09-23 17:23:08 -04:00
|
|
|
black = "#444b6a";
|
|
|
|
red = "#d5556f";
|
|
|
|
green = "#b9f27c";
|
|
|
|
yellow = "#ff9e64";
|
|
|
|
blue = "#7da6ff";
|
|
|
|
magenta = "#bb9af7";
|
|
|
|
cyan = "#0db9d7";
|
|
|
|
white = "#acb0d0";
|
2022-01-06 21:14:02 -05:00
|
|
|
};
|
|
|
|
|
|
|
|
font =
|
2024-03-30 19:36:20 -04:00
|
|
|
let family = "VictorMono Nerd Font";
|
2022-01-06 21:14:02 -05:00
|
|
|
font-style = style: { inherit family style; };
|
|
|
|
in {
|
2023-09-21 23:37:09 -04:00
|
|
|
normal = font-style "Regular";
|
2022-01-06 21:14:02 -05:00
|
|
|
bold = font-style "Bold";
|
2023-09-21 23:37:09 -04:00
|
|
|
italic = font-style "Italic";
|
2022-01-06 21:14:02 -05:00
|
|
|
bold_italic = font-style "Bold Italic";
|
|
|
|
|
|
|
|
size = 11;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|