system/fonts: fix emoji priority

This commit is contained in:
Dmitriy Pleshevskiy 2022-09-21 08:08:52 +03:00
parent 5fec783740
commit 52bc80c387
Signed by: pleshevskiy
GPG key ID: 1B59187B161C0215
2 changed files with 28 additions and 23 deletions

View file

@ -20,25 +20,15 @@
font = font =
let let
family = "Fira Code"; family = "monospace";
mkFont = style: { inherit family style; };
in in
{ {
normal = { normal = mkFont "Regular";
inherit family; bold = mkFont "Bold";
style = "Regular"; italic = mkFont "Italic";
}; bold_italic = mkFont "Bold Italic";
bold = {
inherit family;
style = "Bold";
};
italic = {
inherit family;
style = "Italic";
};
bold_italic = {
inherit family;
style = "Bold Italic";
};
size = 11.0; size = 11.0;
}; };

View file

@ -23,12 +23,27 @@ in
# Set your time zone. # Set your time zone.
time.timeZone = "Europe/Moscow"; time.timeZone = "Europe/Moscow";
fonts.fonts = with pkgs; [ fonts = {
ubuntu_font_family enableDefaultFonts = true;
fira-code fonts = with pkgs; [
fira-code-symbols ubuntu_font_family
(nerdfonts.override { fonts = [ "FiraCode" ]; }) fira-code
]; fira-code-symbols
(nerdfonts.override { fonts = [ "FiraCode" ]; })
];
fontconfig = {
defaultFonts = {
monospace = [
"Fira Code"
"FireCode Nerd Font Mono"
"emoji"
];
serif = [ "Ubuntu" "emoji" ];
sansSerif = [ "Ubuntu" "emoji" ];
emoji = [ "Noto Color Emoji" "Noto Emoji" ];
};
};
};
# Configure network proxy if necessary # Configure network proxy if necessary
# networking.proxy.default = "http://user:password@proxy:port/"; # networking.proxy.default = "http://user:password@proxy:port/";