2024-05-22 14:29:45 +02:00
|
|
|
{pkgs, ...}: {
|
2024-05-20 23:55:11 +02:00
|
|
|
fonts = {
|
|
|
|
packages = with pkgs; [
|
|
|
|
material-icons
|
|
|
|
material-design-icons
|
2024-05-22 14:29:45 +02:00
|
|
|
(nerdfonts.override {fonts = ["Iosevka" "JetBrainsMono"];})
|
2024-05-20 23:55:11 +02:00
|
|
|
noto-fonts
|
|
|
|
noto-fonts-cjk
|
|
|
|
noto-fonts-cjk
|
|
|
|
noto-fonts-emoji
|
|
|
|
jetbrains-mono
|
|
|
|
lexend
|
2024-05-21 00:04:49 +02:00
|
|
|
];
|
|
|
|
# What does this do?
|
|
|
|
enableDefaultPackages = false;
|
2024-05-20 23:55:11 +02:00
|
|
|
|
2024-05-21 00:04:49 +02:00
|
|
|
# this fixes emoji stuff
|
|
|
|
fontconfig = {
|
|
|
|
defaultFonts = {
|
2024-05-22 14:29:45 +02:00
|
|
|
monospace = ["JetBrainsMono Nerd Font" "Noto Color Emoji"];
|
|
|
|
sansSerif = ["Lexend" "Noto Color Emoji"];
|
|
|
|
serif = ["Noto Serif" "Noto Color Emoji"];
|
|
|
|
emoji = ["Noto Color Emoji"];
|
2024-05-20 23:55:11 +02:00
|
|
|
};
|
2024-05-21 00:04:49 +02:00
|
|
|
};
|
|
|
|
};
|
2024-04-10 14:21:41 +02:00
|
|
|
}
|