2024-06-22 23:34:03 +03:00
|
|
|
{ style, setting, pkgs, ... }: let
|
2024-06-23 00:40:52 +03:00
|
|
|
dpiAware = if setting.dpiAware then "yes" else "no";
|
2024-04-09 05:00:59 +03:00
|
|
|
in {
|
2024-06-22 23:34:03 +03:00
|
|
|
file = (pkgs.formats.iniWithGlobalSection {}).generate "FootConfig" {
|
2024-06-18 11:07:11 +03:00
|
|
|
globalSection = {
|
2024-06-22 23:34:03 +03:00
|
|
|
font = "${style.font.monospace.name}:size=${toString style.font.size.terminal}";
|
|
|
|
# font-bold = "${style.font.monospace.name}:size=${toString style.font.size.terminal}";
|
|
|
|
font-italic = "${style.font.monospace.name}:size=${toString style.font.size.terminal}";
|
|
|
|
font-bold-italic = "${style.font.monospace.name}:size=${toString style.font.size.terminal}";
|
2024-06-23 00:40:52 +03:00
|
|
|
dpi-aware = dpiAware;
|
2024-06-18 11:07:11 +03:00
|
|
|
font-size-adjustment = setting.foot.font.step;
|
|
|
|
};
|
2024-04-03 02:05:36 +03:00
|
|
|
|
2024-06-18 11:07:11 +03:00
|
|
|
sections = {
|
|
|
|
colors = {
|
|
|
|
alpha = style.opacity.terminal;
|
|
|
|
background = style.color.bg.dark;
|
|
|
|
foreground = style.color.fg.light;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
2024-04-03 02:05:36 +03:00
|
|
|
}
|