dust/fonts: reject dejavu sans

2024-10-11 12:01:45 +08:00 · 2024-10-11 12:01:45 +08:00 · 0d383ebee2
commit 0d383ebee2
parent e9eabae3ec
1 changed files with 8 additions and 0 deletions
--- a/hosts/dust/default.nix
+++ b/hosts/dust/default.nix
@ -166,6 +166,7 @@
        ];
      };
      # GitHub prefers Noto Sans...
+      # DejaVu Sans from nixpkgs#fontconfig.out
      localConf = ''
        <selectfont>
          <rejectfont>
@ -175,6 +176,13 @@
              </patelt>
            </pattern>
          </rejectfont>
+          <rejectfont>
+            <pattern>
+              <patelt name="family">
+                <string>DejaVu Sans</string>
+              </patelt>
+            </pattern>
+          </rejectfont>
        </selectfont>
      '';
    };