Switch terminal and font

This commit is contained in:
Charlotte Van Petegem 2023-02-14 17:13:25 +01:00
parent 2b77c2d461
commit b551918273
No known key found for this signature in database
GPG key ID: 019E764B7184435A
9 changed files with 37 additions and 100 deletions

View file

@ -14,14 +14,13 @@
defaultFonts = {
emoji = [ "Noto Color Emoji" ];
# The Tinos and Amiro fonts overlap with Font Awesome's codepoints, so make sure we give Font Awesome a higher priority.
monospace = [ "Fira Code" "Font Awesome 5 Free" ];
sansSerif = [ "Noto Sans" "Font Awesome 5 Free" ];
serif = [ "Noto Serif" "Font Awesome 5 Free" ];
monospace = [ "Hack" "Font Awesome 6 Free" ];
sansSerif = [ "Noto Sans" "Font Awesome 6 Free" ];
serif = [ "Noto Serif" "Font Awesome 6 Free" ];
};
};
fonts = with pkgs; [
fira-code
fira-code-symbols
hack-font
font-awesome
noto-fonts
noto-fonts-cjk