2023-09-10 05:18:56 +00:00
|
|
|
{ pkgs, inputs, ... }:
|
2020-04-11 21:47:33 +00:00
|
|
|
|
|
|
|
{
|
|
|
|
fonts = {
|
2020-08-09 16:18:52 +00:00
|
|
|
fontconfig.enable = true;
|
2023-09-10 01:26:43 +00:00
|
|
|
fontconfig.localConf = ''
|
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<!DOCTYPE fontconfig SYSTEM "fonts.dtd">
|
|
|
|
<fontconfig>
|
|
|
|
<match target="font">
|
|
|
|
<test name="family">
|
|
|
|
<string>Inter</string>
|
|
|
|
</test>
|
|
|
|
<edit name="fontfeatures" mode="append">
|
|
|
|
<string>tnum on</string>
|
2023-09-25 01:46:02 +00:00
|
|
|
<string>ss01 on</string>
|
|
|
|
<string>ss02 on</string>
|
2023-09-10 01:26:43 +00:00
|
|
|
</edit>
|
|
|
|
</match>
|
|
|
|
<match target="font">
|
|
|
|
<test name="family">
|
|
|
|
<string>Fira Code</string>
|
|
|
|
</test>
|
|
|
|
<edit name="fontfeatures" mode="append">
|
|
|
|
<string>cv06 on</string>
|
|
|
|
<string>ss02 on</string>
|
|
|
|
<string>ss04 on</string>
|
|
|
|
</edit>
|
|
|
|
</match>
|
|
|
|
</fontconfig>
|
|
|
|
'';
|
|
|
|
|
2023-08-30 20:58:52 +00:00
|
|
|
enableDefaultPackages = true;
|
2023-09-10 05:18:56 +00:00
|
|
|
packages = with pkgs;
|
|
|
|
[
|
|
|
|
corefonts
|
2024-02-24 18:22:09 +00:00
|
|
|
dejavu_fonts
|
2024-02-24 08:04:52 +00:00
|
|
|
libertine
|
|
|
|
ocr-a
|
2023-09-10 05:18:56 +00:00
|
|
|
source-code-pro
|
|
|
|
source-sans-pro
|
2024-02-24 08:04:52 +00:00
|
|
|
source-serif-pro
|
|
|
|
|
2024-02-24 18:22:09 +00:00
|
|
|
# Code fonts
|
|
|
|
fira-code
|
2024-02-24 08:04:52 +00:00
|
|
|
iosevka
|
2021-11-12 18:33:13 +00:00
|
|
|
|
2023-09-10 05:18:56 +00:00
|
|
|
# UI fonts
|
|
|
|
b612
|
2024-02-15 23:19:48 +00:00
|
|
|
cantarell-fonts
|
2023-09-10 05:18:56 +00:00
|
|
|
inter
|
2024-02-24 18:22:09 +00:00
|
|
|
roboto
|
|
|
|
|
|
|
|
# Large multilingual fonts
|
|
|
|
fira-go
|
|
|
|
noto-fonts
|
|
|
|
noto-fonts-cjk
|
|
|
|
noto-fonts-emoji
|
|
|
|
noto-fonts-extra
|
2023-09-10 01:26:43 +00:00
|
|
|
|
2024-02-09 21:05:55 +00:00
|
|
|
# Constructed languages
|
|
|
|
nasin-nanpa
|
|
|
|
|
2023-09-10 05:18:56 +00:00
|
|
|
# Weird symbols
|
|
|
|
(nerdfonts.override { fonts = [ "NerdFontsSymbolsOnly" ]; })
|
2023-12-20 19:06:40 +00:00
|
|
|
] ++ (builtins.attrValues pkgs.extraFonts);
|
2020-04-11 21:47:33 +00:00
|
|
|
};
|
|
|
|
}
|