2023-08-13 17:00:41 +01:00
|
|
|
{
|
|
|
|
config,
|
|
|
|
pkgs,
|
|
|
|
...
|
|
|
|
}: {
|
|
|
|
home.sessionVariables = {TERMINAL = "alacritty";};
|
2020-07-04 15:58:00 +01:00
|
|
|
|
2019-07-14 13:04:10 +01:00
|
|
|
programs.alacritty = {
|
|
|
|
enable = true;
|
|
|
|
settings = {
|
|
|
|
window.decorations = "none";
|
|
|
|
|
2023-08-13 17:00:41 +01:00
|
|
|
mouse_bindings = [
|
|
|
|
{
|
|
|
|
mouse = "Middle";
|
|
|
|
mode = "~Vi";
|
|
|
|
action = "None";
|
|
|
|
}
|
|
|
|
];
|
2019-07-14 13:04:10 +01:00
|
|
|
scrolling = {
|
|
|
|
history = 32000;
|
|
|
|
multiplier = 3;
|
|
|
|
};
|
2019-07-07 11:45:08 +01:00
|
|
|
|
2019-07-14 13:04:10 +01:00
|
|
|
font = {
|
2023-06-21 09:54:10 +01:00
|
|
|
family = "BerkeleyMono Nerd Font";
|
2023-01-13 15:05:47 +00:00
|
|
|
size = 12;
|
2019-07-14 13:04:10 +01:00
|
|
|
};
|
2019-07-07 11:45:08 +01:00
|
|
|
|
2019-07-14 13:04:10 +01:00
|
|
|
draw_bold_text_with_bright_colors = true;
|
2019-07-07 11:45:08 +01:00
|
|
|
|
2019-07-14 13:04:10 +01:00
|
|
|
colors = {
|
|
|
|
primary = {
|
2021-11-22 19:32:26 +00:00
|
|
|
background = "0x002b36";
|
|
|
|
foreground = "0x839496";
|
2019-07-14 13:04:10 +01:00
|
|
|
};
|
2019-07-07 11:45:08 +01:00
|
|
|
|
2019-07-14 13:04:10 +01:00
|
|
|
normal = {
|
2021-11-22 19:32:26 +00:00
|
|
|
black = "0x073642";
|
|
|
|
red = "0xdc322f";
|
|
|
|
green = "0x859900";
|
|
|
|
yellow = "0xb58900";
|
|
|
|
blue = "0x268bd2";
|
|
|
|
magenta = "0xd33682";
|
|
|
|
cyan = "0x2aa198";
|
|
|
|
white = "0xeee8d5";
|
2019-07-14 13:04:10 +01:00
|
|
|
};
|
2019-07-07 11:45:08 +01:00
|
|
|
|
2019-07-14 13:04:10 +01:00
|
|
|
bright = {
|
2021-11-22 19:32:26 +00:00
|
|
|
black = "0x002b36";
|
|
|
|
red = "0xcb4b16";
|
|
|
|
green = "0x586e75";
|
|
|
|
yellow = "0x657b83";
|
|
|
|
blue = "0x839496";
|
|
|
|
magenta = "0x6c71c4";
|
|
|
|
cyan = "0x93a1a1";
|
|
|
|
white = "0xfdf6e3";
|
2019-07-14 13:04:10 +01:00
|
|
|
};
|
2019-07-07 11:45:08 +01:00
|
|
|
|
2019-07-15 21:31:39 +01:00
|
|
|
background_opacity = 0.9;
|
2021-11-22 19:32:26 +00:00
|
|
|
dynamic_title = true;
|
2019-07-07 11:45:08 +01:00
|
|
|
};
|
2021-11-22 19:32:26 +00:00
|
|
|
cursor = {
|
2019-07-14 13:04:10 +01:00
|
|
|
style = "Block";
|
2021-11-22 19:32:26 +00:00
|
|
|
unfocused_hollow = true;
|
2019-07-07 11:45:08 +01:00
|
|
|
};
|
2021-11-22 19:32:26 +00:00
|
|
|
live_config_reload = true;
|
2019-07-07 11:45:08 +01:00
|
|
|
};
|
2019-07-14 13:04:10 +01:00
|
|
|
};
|
|
|
|
}
|