home manager!

also a bunch of other stuff
This commit is contained in:
LavaDesu 2021-05-20 14:02:49 +07:00
parent beee908e58
commit bb70530786
Signed by: cilly
GPG key ID: 6500251E087653C9
17 changed files with 1073 additions and 15 deletions

View file

@ -0,0 +1,33 @@
{ config, ... }: {
programs.alacritty = {
enable = true;
settings = {
scrolling = {
history = 10000;
multiplier = 3;
};
font = {
normal = {
family = "CascadiaCode";
style = "Regular";
};
size = 8.6;
};
window = {
dynamic_title = true;
padding = {
x = 5;
y = 0;
};
};
mouse = {
url.launcher.program = "xdg-open";
modifiers = "Control";
};
background_opacity = 0.8;
draw_bold_text_with_bright_colors = true;
live_config_reload = true;
};
};
}