Set default font

This commit is contained in:
GHOSCHT 2023-12-28 18:23:56 +01:00
parent 56af3a2118
commit cdc88dd4ee
Signed by: ghoscht
GPG key ID: 2C2C1C62A5388E82
3 changed files with 28 additions and 0 deletions

View file

@ -12,6 +12,20 @@
y = 5; y = 5;
}; };
}; };
font = {
normal = {
family = "${config.fontProfiles.monospace.family}";
style = "Medium";
};
bold = {
family = "${config.fontProfiles.monospace.family}";
style = "Bold";
};
italic = {
family = "${config.fontProfiles.monospace.family}";
style = "MediumItalic";
};
};
colors = with config.colorScheme.colors; { colors = with config.colorScheme.colors; {
bright = { bright = {
black = "0x${base00}"; black = "0x${base00}";

View file

@ -2,6 +2,7 @@
imports = [ imports = [
./firefox.nix ./firefox.nix
./alacritty.nix ./alacritty.nix
./font.nix
./playerctl.nix ./playerctl.nix
]; ];
} }

View file

@ -0,0 +1,13 @@
{pkgs, ...}: {
fontProfiles = {
enable = true;
monospace = {
family = "JetBrains Mono Nerd Font";
package = pkgs.nerdfonts.override {fonts = ["JetBrainsMono"];};
};
regular = {
family = "Fira Sans";
package = pkgs.fira;
};
};
}