1
0
Fork 0

Use Nerdfont

This commit is contained in:
Malte 2023-03-17 16:47:51 +01:00
parent 55aea4720e
commit 4186d49ed4
3 changed files with 4 additions and 3 deletions

View file

@ -12,7 +12,7 @@
programs.foot = { programs.foot = {
settings = { settings = {
main = { main = {
font = "CozetteVector:pixelsize=12"; font = "Symbols Nerd Font Mono:pixelsize=12,CozetteVector:pixelsize=12";
include = toString (pkgs.writeText "foot-theme" '' include = toString (pkgs.writeText "foot-theme" ''
${builtins.readFile "${pkgs.foot.themes}/share/foot/themes/catppuccin"} ${builtins.readFile "${pkgs.foot.themes}/share/foot/themes/catppuccin"}
background=000000 background=000000

View file

@ -11,7 +11,7 @@
defaultFonts = let defaultFonts = let
unicode-fallback = ["Noto Sans Symbols" "Noto Sans Symbols2"]; unicode-fallback = ["Noto Sans Symbols" "Noto Sans Symbols2"];
in { in {
monospace = ["CozetteVector" "Noto Sans Mono"] ++ unicode-fallback; monospace = ["Symbols Nerd Font Mono" "CozetteVector" "Noto Sans Mono"] ++ unicode-fallback;
sansSerif = ["B612" "Noto Sans"] ++ unicode-fallback; sansSerif = ["B612" "Noto Sans"] ++ unicode-fallback;
serif = ["Libertinus Serif" "Noto Serif"] ++ unicode-fallback; serif = ["Libertinus Serif" "Noto Serif"] ++ unicode-fallback;
}; };
@ -59,6 +59,7 @@
noto-fonts noto-fonts
# for unicode fallback # for unicode fallback
nerdfonts
; ;
}; };
}; };

View file

@ -1,3 +1,3 @@
self: super: { self: super: {
nerdfonts = super.nerdfonts.override {fonts = ["JetBrainsMono"];}; nerdfonts = super.nerdfonts.override {fonts = ["NerdFontsSymbolsOnly"];};
} }