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
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
options = {
|
|
|
|
|
|
|
|
fonts = {
|
|
|
|
|
|
|
|
# TODO: find another name for it.
|
|
|
|
fonts = mkOption {
|
2014-05-22 14:20:03 +02:00
|
|
|
type = types.listOf types.path;
|
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
|
|
|
};
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
};
|
|
|
|
|
2014-04-29 12:25:47 +02:00
|
|
|
config = {
|
|
|
|
|
|
|
|
fonts.fonts =
|
|
|
|
[ pkgs.xorg.fontbhttf
|
|
|
|
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
|
|
|
|
pkgs.liberation_ttf
|
|
|
|
pkgs.xorg.fontbh100dpi
|
|
|
|
pkgs.xorg.fontmiscmisc
|
|
|
|
pkgs.xorg.fontcursormisc
|
2015-09-26 20:53:21 +02:00
|
|
|
pkgs.unifont
|
2014-04-29 12:25:47 +02:00
|
|
|
];
|
|
|
|
|
|
|
|
};
|
|
|
|
|
2013-06-27 13:12:45 +02:00
|
|
|
}
|