2023-03-12 03:59:11 +00:00
|
|
|
{
|
|
|
|
options,
|
|
|
|
config,
|
|
|
|
lib,
|
|
|
|
pkgs,
|
|
|
|
...
|
|
|
|
}:
|
|
|
|
with lib; let
|
|
|
|
cfg = config.aa.desktop.addons.alacritty;
|
|
|
|
in {
|
|
|
|
options.aa.desktop.addons.alacritty = with types; {
|
|
|
|
enable = mkEnableOption "alacritty";
|
|
|
|
};
|
|
|
|
|
|
|
|
config = mkIf cfg.enable {
|
|
|
|
aa.desktop.addons.fonts.enable = true;
|
|
|
|
|
2023-03-19 15:16:10 +00:00
|
|
|
# alacritty won't start without opengl
|
|
|
|
hardware.opengl.enable = true;
|
|
|
|
|
2023-03-12 03:59:11 +00:00
|
|
|
aa.home = {
|
|
|
|
extraOptions = {
|
|
|
|
programs.alacritty = {
|
|
|
|
enable = true;
|
|
|
|
settings = {
|
|
|
|
window.opacity = 0.9;
|
|
|
|
font = {
|
|
|
|
size = 11.0;
|
|
|
|
normal = {
|
|
|
|
family = "Hack Nerd Font";
|
|
|
|
style = "Regular";
|
|
|
|
};
|
|
|
|
bold = {
|
|
|
|
family = "Hack Nerd Font";
|
|
|
|
style = "Bold";
|
|
|
|
};
|
|
|
|
italic = {
|
|
|
|
family = "Hack Nerd Font";
|
|
|
|
style = "Italic";
|
|
|
|
};
|
|
|
|
bold_italic = {
|
|
|
|
family = "Hack Nerd Font";
|
|
|
|
style = "Bold Italic";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|