2019-03-20 02:57:59 +01:00
|
|
|
{ pkgs, lib, config, ... }:
|
2019-02-26 13:44:40 +01:00
|
|
|
|
2019-03-20 02:57:59 +01:00
|
|
|
with lib;
|
|
|
|
|
|
|
|
|
|
mkIf (elem "fonts" config.machine.conffiles) {
|
2019-02-26 13:44:40 +01:00
|
|
|
fonts = {
|
2020-11-23 23:07:42 +01:00
|
|
|
fontDir.enable = true;
|
2019-02-26 13:44:40 +01:00
|
|
|
enableGhostscriptFonts = true;
|
|
|
|
|
fontconfig = {
|
|
|
|
|
enable = true;
|
2019-11-17 23:13:50 +01:00
|
|
|
# deprecated (will eventually be completely removed)
|
|
|
|
|
# ultimate.enable = true;
|
2019-02-26 13:44:40 +01:00
|
|
|
includeUserConf = false;
|
|
|
|
|
};
|
|
|
|
|
fonts = with pkgs; [
|
2019-08-04 00:45:13 +02:00
|
|
|
arphic-ukai
|
|
|
|
|
arphic-uming
|
2019-02-26 13:44:40 +01:00
|
|
|
corefonts # Microsoft free fonts
|
|
|
|
|
dejavu_fonts
|
2019-05-04 13:47:21 +02:00
|
|
|
font-awesome-ttf
|
2019-02-26 13:44:40 +01:00
|
|
|
inconsolata # monospaced
|
2019-05-04 13:47:21 +02:00
|
|
|
noto-fonts
|
2019-02-26 13:44:40 +01:00
|
|
|
noto-fonts-cjk
|
2019-05-04 13:47:21 +02:00
|
|
|
noto-fonts-emoji
|
|
|
|
|
noto-fonts-extra
|
2019-02-26 13:44:40 +01:00
|
|
|
powerline-fonts
|
|
|
|
|
source-han-sans-japanese
|
|
|
|
|
source-han-sans-korean
|
|
|
|
|
source-han-sans-simplified-chinese
|
|
|
|
|
source-han-sans-traditional-chinese
|
2019-10-06 18:02:14 +02:00
|
|
|
# source-sans-pro
|
2019-02-26 13:44:40 +01:00
|
|
|
symbola
|
|
|
|
|
ubuntu_font_family
|
|
|
|
|
wqy_microhei
|
2019-08-04 00:45:13 +02:00
|
|
|
wqy_zenhei
|
2019-02-26 13:44:40 +01:00
|
|
|
];
|
|
|
|
|
};
|
|
|
|
|
}
|
