2024-07-19 12:00:55 +00:00
|
|
|
{
|
|
|
|
config,
|
|
|
|
lib,
|
|
|
|
pkgs,
|
|
|
|
...
|
|
|
|
}:
|
2024-07-18 22:31:41 +00:00
|
|
|
|
|
|
|
with lib;
|
|
|
|
let
|
|
|
|
cfg = config.modules.foot;
|
2024-07-19 12:00:55 +00:00
|
|
|
in
|
|
|
|
{
|
2024-07-18 22:31:41 +00:00
|
|
|
options.modules.foot.enable = mkEnableOption "foot";
|
|
|
|
|
|
|
|
config = mkIf cfg.enable {
|
2024-07-20 04:10:56 +00:00
|
|
|
default.terminal = mkDefault "${pkgs.foot}/bin/foot";
|
|
|
|
|
2024-07-18 22:31:41 +00:00
|
|
|
programs.foot = {
|
|
|
|
enable = true;
|
|
|
|
settings = {
|
2024-07-19 12:00:55 +00:00
|
|
|
main =
|
|
|
|
let
|
|
|
|
font = config.theming.fonts.monospace.name;
|
|
|
|
size = toString config.theming.fonts.monospace.recommendedSize;
|
|
|
|
in
|
|
|
|
{
|
|
|
|
font = mkForce "${font}:style=Regular:size=${size}";
|
|
|
|
font-bold = "${font}:style=Bold:size=${size}";
|
|
|
|
font-italic = "${font}:style=Italic:size=${size}";
|
|
|
|
font-bold-italic = "${font}:style=Bold Italic:size=${size}";
|
|
|
|
};
|
2024-07-18 22:31:41 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
2024-07-19 12:00:55 +00:00
|
|
|
}
|