2022-09-12 10:05:47 +03:00
|
|
|
{
|
|
|
|
config,
|
|
|
|
inputs,
|
|
|
|
...
|
|
|
|
}: {
|
2022-09-12 03:32:23 +03:00
|
|
|
settings.terminal.name = "foot";
|
|
|
|
programs.foot = {
|
|
|
|
enable = true;
|
|
|
|
server.enable = false;
|
|
|
|
settings = {
|
|
|
|
main = {
|
|
|
|
font = "${config.settings.font.name}:size=${toString config.settings.font.size}";
|
|
|
|
dpi-aware = "yes";
|
|
|
|
};
|
2022-09-12 10:05:47 +03:00
|
|
|
colors = import "${inputs.self}/colors";
|
2022-09-12 03:32:23 +03:00
|
|
|
};
|
|
|
|
};
|
|
|
|
}
|