2022-05-06 03:01:56 +00:00
|
|
|
{ config, pkgs, ... }: {
|
2022-04-29 01:40:21 +00:00
|
|
|
|
2022-05-06 03:01:56 +00:00
|
|
|
home-manager.users.${config.user} = {
|
2022-04-30 02:29:50 +00:00
|
|
|
xsession.windowManager.i3.config.terminal = "alacritty";
|
2022-05-07 14:25:41 +00:00
|
|
|
programs.rofi.terminal = "${pkgs.alacritty}/bin/alacritty";
|
2022-04-29 01:40:21 +00:00
|
|
|
programs.alacritty = {
|
|
|
|
enable = true;
|
|
|
|
settings = {
|
|
|
|
window = {
|
|
|
|
dimensions = {
|
|
|
|
columns = 85;
|
|
|
|
lines = 30;
|
|
|
|
};
|
|
|
|
padding = {
|
|
|
|
x = 20;
|
|
|
|
y = 20;
|
|
|
|
};
|
2022-05-06 03:01:56 +00:00
|
|
|
opacity = 1.0;
|
2022-04-28 22:55:15 +00:00
|
|
|
};
|
2022-04-29 01:40:21 +00:00
|
|
|
scrolling.history = 10000;
|
|
|
|
font = {
|
|
|
|
size = 14.0;
|
2022-05-06 03:01:56 +00:00
|
|
|
normal = {
|
|
|
|
family =
|
|
|
|
builtins.head config.fonts.fontconfig.defaultFonts.monospace;
|
|
|
|
};
|
2022-04-28 22:55:15 +00:00
|
|
|
};
|
2022-04-29 01:40:21 +00:00
|
|
|
key_bindings = [
|
|
|
|
{
|
|
|
|
key = "L";
|
|
|
|
mods = "Control|Shift";
|
|
|
|
chars = "\\x1F";
|
|
|
|
}
|
|
|
|
{
|
|
|
|
key = "K";
|
|
|
|
mods = "Control";
|
|
|
|
mode = "~Vi";
|
|
|
|
action = "ToggleViMode";
|
|
|
|
}
|
|
|
|
{
|
|
|
|
key = "Return";
|
|
|
|
mode = "Vi";
|
|
|
|
action = "ToggleViMode";
|
|
|
|
}
|
|
|
|
];
|
2022-05-06 03:01:56 +00:00
|
|
|
colors = {
|
|
|
|
primary = {
|
|
|
|
background = config.gui.colorscheme.base00;
|
|
|
|
foreground = config.gui.colorscheme.base05;
|
|
|
|
};
|
|
|
|
cursor = {
|
|
|
|
text = "#1d2021";
|
|
|
|
cursor = config.gui.colorscheme.base05;
|
|
|
|
};
|
|
|
|
normal = {
|
|
|
|
black = "#1d2021";
|
|
|
|
red = config.gui.colorscheme.base08;
|
|
|
|
green = config.gui.colorscheme.base0B;
|
|
|
|
yellow = config.gui.colorscheme.base0A;
|
|
|
|
blue = config.gui.colorscheme.base0D;
|
|
|
|
magenta = config.gui.colorscheme.base0E;
|
|
|
|
cyan = config.gui.colorscheme.base0C;
|
|
|
|
white = config.gui.colorscheme.base05;
|
|
|
|
};
|
|
|
|
bright = {
|
|
|
|
black = config.gui.colorscheme.base03;
|
|
|
|
red = config.gui.colorscheme.base09;
|
|
|
|
green = config.gui.colorscheme.base01;
|
|
|
|
yellow = config.gui.colorscheme.base02;
|
|
|
|
blue = config.gui.colorscheme.base04;
|
|
|
|
magenta = config.gui.colorscheme.base06;
|
|
|
|
cyan = config.gui.colorscheme.base0F;
|
|
|
|
white = config.gui.colorscheme.base07;
|
|
|
|
};
|
|
|
|
};
|
2022-04-29 01:40:21 +00:00
|
|
|
draw_bold_text_with_bright_colors = false;
|
2022-04-28 22:55:15 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|