feat(foot): fix font size

This commit is contained in:
buffet 2023-07-21 09:35:46 +02:00
parent 23238c577e
commit 8e0e9a864b
2 changed files with 10 additions and 2 deletions

View file

@ -1,4 +1,4 @@
_: let {lib, ...}: let
password = "$6$FHwMlUwmRdAsPqS4$4XND0L0EEVf2Mhc/tvo6y3ZLIrMTOlsIZrG3w69EeXvtVZhdeNyoDOkPNIe.GBB8.PrchuUKDacqbvcvyuPkt0"; password = "$6$FHwMlUwmRdAsPqS4$4XND0L0EEVf2Mhc/tvo6y3ZLIrMTOlsIZrG3w69EeXvtVZhdeNyoDOkPNIe.GBB8.PrchuUKDacqbvcvyuPkt0";
in { in {
imports = [ imports = [
@ -15,4 +15,12 @@ in {
networking.hostName = "fanya"; networking.hostName = "fanya";
services.tlp.enable = true; services.tlp.enable = true;
home-manager.users.buffet = {
programs.foot = let
theme = import ../theme.nix;
in {
settings.main.font = lib.mkForce "${theme.font.family}:size=${toString (theme.font.size - 1)}";
};
};
} }

View file

@ -11,7 +11,7 @@
bright = dehash theme.bright; bright = dehash theme.bright;
in { in {
main = { main = {
font = "${theme.font.family}:size=${toString (theme.font.size - 1)}"; font = "${theme.font.family}:size=${toString (theme.font.size - 2)}";
#font-italic = "${theme.font.family}:size=${toString (theme.font.size - 2)}"; #font-italic = "${theme.font.family}:size=${toString (theme.font.size - 2)}";
#font-bold-italic = "${theme.font.family}:style=Bold:size=${toString (theme.font.size - 2)}"; #font-bold-italic = "${theme.font.family}:style=Bold:size=${toString (theme.font.size - 2)}";
pad = "${toString theme.font.size}x${toString theme.font.size}"; pad = "${toString theme.font.size}x${toString theme.font.size}";