blob: cf0ea61fd20edcb8abc6c59fece71ad5f254dcb6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
{ pkgs, lib, ... }: let
name = {
type = lib.types.str;
example = "Terminess Nerd Font";
};
size = {
type = with lib.types; nullOr int;
default = null;
};
packages = {
type = with lib.types; listOf path;
example = "[ pkgs.terminus-nerdfont ]";
};
in {
options.global.font = {
sans = {
size = lib.mkOption size;
name = lib.mkOption (name // {
default = "DeepMind Sans";
});
packages = lib.mkOption (packages // {
default = [ pkgs.dm-sans ];
});
};
monospace = {
size = lib.mkOption size;
name = lib.mkOption (name // {
default = "Terminess Nerd Font";
});
packages = lib.mkOption (packages // {
default = [ pkgs.terminus-nerdfont ];
});
};
};
}
|