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 {
|
|
|
|
default = [
|
|
|
|
# - the user's current profile
|
|
|
|
"~/.nix-profile/lib/X11/fonts"
|
|
|
|
"~/.nix-profile/share/fonts"
|
|
|
|
# - the default profile
|
|
|
|
"/nix/var/nix/profiles/default/lib/X11/fonts"
|
|
|
|
"/nix/var/nix/profiles/default/share/fonts"
|
|
|
|
];
|
|
|
|
description = "List of primary font paths.";
|
|
|
|
apply = list: list ++ [
|
|
|
|
# - a few statically built locations
|
|
|
|
pkgs.xorg.fontbhttf
|
|
|
|
pkgs.xorg.fontbhlucidatypewriter100dpi
|
|
|
|
pkgs.xorg.fontbhlucidatypewriter75dpi
|
|
|
|
pkgs.ttf_bitstream_vera
|
|
|
|
pkgs.freefont_ttf
|
|
|
|
pkgs.liberation_ttf
|
|
|
|
pkgs.xorg.fontbh100dpi
|
|
|
|
pkgs.xorg.fontmiscmisc
|
|
|
|
pkgs.xorg.fontcursormisc
|
|
|
|
]
|
|
|
|
++ config.fonts.extraFonts;
|
|
|
|
};
|
|
|
|
|
|
|
|
extraFonts = mkOption {
|
|
|
|
default = [];
|
|
|
|
example = [ pkgs.dejavu_fonts ];
|
|
|
|
description = "List of packages with additional fonts.";
|
|
|
|
};
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|