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