2014-04-14 14:26:48 +00:00
|
|
|
{ config, lib, pkgs, ... }:
|
2013-06-27 11:12:45 +00:00
|
|
|
|
2014-04-14 14:26:48 +00:00
|
|
|
with lib;
|
2013-06-27 11:12:45 +00:00
|
|
|
|
|
|
|
{
|
2019-12-10 01:51:19 +00:00
|
|
|
imports = [
|
|
|
|
(mkRemovedOptionModule [ "fonts" "enableCoreFonts" ] "Use fonts.fonts = [ pkgs.corefonts ]; instead.")
|
|
|
|
];
|
2013-06-27 11:12:45 +00:00
|
|
|
|
|
|
|
options = {
|
|
|
|
|
|
|
|
fonts = {
|
|
|
|
|
|
|
|
# TODO: find another name for it.
|
|
|
|
fonts = mkOption {
|
2014-05-22 12:20:03 +00:00
|
|
|
type = types.listOf types.path;
|
2016-09-05 13:48:48 +00:00
|
|
|
default = [];
|
2014-08-27 21:41:15 +00:00
|
|
|
example = literalExample "[ pkgs.dejavu_fonts ]";
|
2014-04-29 10:25:47 +00:00
|
|
|
description = "List of primary font paths.";
|
2013-06-27 11:12:45 +00:00
|
|
|
};
|
|
|
|
|
2016-09-05 13:48:48 +00: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 11:12:45 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
};
|
|
|
|
|
2014-04-29 10:25:47 +00:00
|
|
|
config = {
|
|
|
|
|
2016-09-05 13:48:48 +00:00
|
|
|
fonts.fonts = mkIf config.fonts.enableDefaultFonts
|
2016-08-29 20:28:50 +00:00
|
|
|
[
|
2014-04-29 10:25:47 +00:00
|
|
|
pkgs.xorg.fontbhlucidatypewriter100dpi
|
|
|
|
pkgs.xorg.fontbhlucidatypewriter75dpi
|
2014-11-30 20:00:33 +00:00
|
|
|
pkgs.dejavu_fonts
|
2014-04-29 10:25:47 +00:00
|
|
|
pkgs.freefont_ttf
|
2017-04-08 14:33:21 +00:00
|
|
|
pkgs.gyre-fonts # TrueType substitutes for standard PostScript fonts
|
2014-04-29 10:25:47 +00:00
|
|
|
pkgs.liberation_ttf
|
|
|
|
pkgs.xorg.fontbh100dpi
|
|
|
|
pkgs.xorg.fontmiscmisc
|
|
|
|
pkgs.xorg.fontcursormisc
|
2015-09-26 18:53:21 +00:00
|
|
|
pkgs.unifont
|
2019-08-29 21:03:46 +00:00
|
|
|
pkgs.noto-fonts-emoji
|
2014-04-29 10:25:47 +00:00
|
|
|
];
|
|
|
|
|
|
|
|
};
|
|
|
|
|
2013-06-27 11:12:45 +00:00
|
|
|
}
|