feat: switch to ZedMono

Signed-off-by: Lander Van den Bulcke <landervandenbulcke@gmail.com>
This commit is contained in:
Lander Van den Bulcke 2024-08-28 15:45:22 +02:00
parent 0344d3ca8a
commit fe8697277d
Signed by: lander
GPG key ID: 0142722B4B0C536F
3 changed files with 15 additions and 5 deletions

View file

@ -0,0 +1,13 @@
{ config, pkgs, ... }:
{
fonts.fontDir.enable = true;
fonts = {
packages = with pkgs; [
inter
(nerdfonts.override { fonts = [ "ZedMono" ]; })
];
fontconfig.enable = true;
};
}

View file

@ -7,6 +7,7 @@
../common/global ../common/global
../common/users/lander ../common/users/lander
../common/optional/fonts.nix
../common/optional/yubikey-gpg.nix ../common/optional/yubikey-gpg.nix
../common/optional/virt.nix ../common/optional/virt.nix
]; ];

View file

@ -50,20 +50,16 @@ rec {
fonts = { fonts = {
default = { default = {
name = "Inter"; name = "Inter";
package = pkgs.inter;
size = "11"; size = "11";
}; };
iconFont = { iconFont = {
name = "Inter"; name = "Inter";
package = pkgs.inter;
}; };
monospace = { monospace = {
name = "MesloLGSDZ Nerd Font Mono"; name = "ZedMono Nerd Font";
package = pkgs.nerdfonts.override { fonts = [ "Meslo" ]; };
}; };
emoji = { emoji = {
name = "Joypixels"; name = "Joypixels";
package = pkgs.joypixels;
}; };
}; };
} }