2023-05-18 12:07:07 +02:00
|
|
|
{ pkgs, lib, ... }:
|
2023-06-10 00:22:32 +02:00
|
|
|
|
2023-05-18 12:07:07 +02:00
|
|
|
let
|
2023-06-10 00:22:32 +02:00
|
|
|
defaultFonts = [
|
|
|
|
pkgs.dejavu_fonts
|
|
|
|
pkgs.freefont_ttf
|
|
|
|
pkgs.gyre-fonts
|
|
|
|
pkgs.liberation_ttf
|
|
|
|
pkgs.unifont
|
|
|
|
];
|
2023-05-18 12:07:07 +02:00
|
|
|
fonts = [
|
|
|
|
pkgs.noto-fonts
|
|
|
|
pkgs.noto-fonts-extra
|
|
|
|
pkgs.noto-fonts-emoji
|
|
|
|
pkgs.noto-fonts-cjk-sans
|
|
|
|
pkgs.noto-fonts-cjk-serif
|
|
|
|
pkgs.wqy_zenhei
|
2023-06-10 00:22:32 +02:00
|
|
|
pkgs.corefonts
|
|
|
|
|
|
|
|
] ++ defaultFonts;
|
|
|
|
|
2023-05-18 12:07:07 +02:00
|
|
|
moreFonts = [
|
|
|
|
pkgs.ubuntu_font_family
|
|
|
|
pkgs.monocraft
|
|
|
|
pkgs.hack-font
|
2023-06-10 00:22:32 +02:00
|
|
|
(pkgs.nerdfonts.override { fonts = [ "FiraCode" "DroidSansMono" "Meslo" "ProFont" ]; })
|
2023-05-18 12:07:07 +02:00
|
|
|
];
|
|
|
|
in
|
|
|
|
{
|
|
|
|
|
|
|
|
options.materus.profile.packages.list.fonts = lib.mkOption { default = fonts; readOnly = true; visible = false; };
|
|
|
|
options.materus.profile.packages.list.moreFonts = lib.mkOption { default = moreFonts; readOnly = true; visible = false; };
|
|
|
|
|
|
|
|
}
|