Make Iosevka Aile optional due to resource-heavy compilation

This commit is contained in:
Erwin Boskma 2023-05-21 17:12:46 +02:00
parent b7dc99ee02
commit ac4fb1985e
Signed by: erwin
SSH key fingerprint: SHA256:9LmFDe1C6jSrEyqxxvX8NtJBmcbB105XoqyUZF092bg

View file

@ -89,7 +89,14 @@ with lib; let
}; };
in in
{ {
options.eboskma.fonts = { enable = mkEnableOption "activate fonts"; }; options.eboskma.fonts = {
enable = mkEnableOption "activate fonts";
iosevka-aile = mkOption {
description = "Install Iosevka Aile";
type = types.bool;
default = true;
};
};
config = mkIf cfg.enable { config = mkIf cfg.enable {
fonts = { fonts = {
@ -100,19 +107,18 @@ in
corefonts corefonts
dejavu_fonts dejavu_fonts
google-fonts google-fonts
iosevka-aile
kochi-substitute kochi-substitute
material-icons material-icons
noto-fonts-emoji noto-fonts-emoji
recursive recursive
ttf_bitstream_vera ttf_bitstream_vera
twitter-color-emoji twitter-color-emoji
]; ] ++ lib.optional cfg.iosevka-aile iosevka-aile;
fontconfig = { fontconfig = {
defaultFonts = { defaultFonts = {
serif = [ "Recursive Sans Casual Static Medium" ]; serif = [ "Recursive Sans Casual Static Medium" ];
sansSerif = [ "Iosevka Aile" ]; sansSerif = [ (if cfg.iosevka-aile then "Iosevka Aile" else "DejaVu Sans") ];
monospace = [ "Iosevka Nerd Font" ]; monospace = [ "Iosevka Nerd Font" ];
emoji = [ "Twitter Color Emoji" ]; emoji = [ "Twitter Color Emoji" ];
}; };