2014-04-14 15:26:48 +01:00
|
|
|
{ config, lib, pkgs, ... }:
|
2013-06-27 12:12:45 +01:00
|
|
|
|
2014-04-14 15:26:48 +01:00
|
|
|
with lib;
|
2013-06-27 12:12:45 +01:00
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
options = {
|
|
|
|
|
|
|
|
fonts = {
|
|
|
|
|
|
|
|
# TODO: find another name for it.
|
|
|
|
fonts = mkOption {
|
2014-05-22 13:20:03 +01:00
|
|
|
type = types.listOf types.path;
|
2016-09-05 14:48:48 +01:00
|
|
|
default = [];
|
2014-08-27 22:41:15 +01:00
|
|
|
example = literalExample "[ pkgs.dejavu_fonts ]";
|
2014-04-29 11:25:47 +01:00
|
|
|
description = "List of primary font paths.";
|
2013-06-27 12:12:45 +01:00
|
|
|
};
|
|
|
|
|
2016-09-05 14:48:48 +01:00
|
|
|
enableDefaultFonts = mkOption {
|
|
|
|
type = types.bool;
|
|
|
|
default = false;
|
|
|
|
description = ''
|
|
|
|
Enable a basic set of fonts providing several font styles
|
|
|
|
and families and reasonable coverage of Unicode.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
2013-06-27 12:12:45 +01:00
|
|
|
};
|
|
|
|
|
|
|
|
};
|
|
|
|
|
2014-04-29 11:25:47 +01:00
|
|
|
config = {
|
|
|
|
|
2016-09-05 14:48:48 +01:00
|
|
|
fonts.fonts = mkIf config.fonts.enableDefaultFonts
|
2016-08-29 21:28:50 +01:00
|
|
|
[
|
2014-04-29 11:25:47 +01:00
|
|
|
pkgs.xorg.fontbhlucidatypewriter100dpi
|
|
|
|
pkgs.xorg.fontbhlucidatypewriter75dpi
|
2014-11-30 20:00:33 +00:00
|
|
|
pkgs.dejavu_fonts
|
2014-04-29 11:25:47 +01:00
|
|
|
pkgs.freefont_ttf
|
2017-04-08 15:33:21 +01:00
|
|
|
pkgs.gyre-fonts # TrueType substitutes for standard PostScript fonts
|
2014-04-29 11:25:47 +01:00
|
|
|
pkgs.liberation_ttf
|
|
|
|
pkgs.xorg.fontbh100dpi
|
|
|
|
pkgs.xorg.fontmiscmisc
|
|
|
|
pkgs.xorg.fontcursormisc
|
2015-09-26 19:53:21 +01:00
|
|
|
pkgs.unifont
|
2019-08-29 22:03:46 +01:00
|
|
|
pkgs.noto-fonts-emoji
|
2014-04-29 11:25:47 +01:00
|
|
|
];
|
|
|
|
|
|
|
|
};
|
|
|
|
|
2013-06-27 12:12:45 +01:00
|
|
|
}
|