remove nerd font as wezterm bundles it

This commit is contained in:
Anthony Rodriguez 2024-08-28 15:41:53 +02:00
parent 059182df5d
commit a7d857d757
Signed by: nezia
GPG key ID: EE3BE97C040A86CE
3 changed files with 6 additions and 22 deletions

View file

@ -10,23 +10,7 @@
front_end = "WebGpu", front_end = "WebGpu",
enable_tab_bar = false, enable_tab_bar = false,
enable_wayland = false, enable_wayland = false,
font = wezterm.font_with_fallback { harfbuzz_features = { "ss01", "ss03" },
{ family = "MonaspiceNe Nerd Font",
harfbuzz_features = {
'calt',
'liga',
'ss01', -- ligatures related to the equals glyph like != and ===.
'ss02', -- ligatures related to the greater than or less than operators.
'ss03', -- ligatures related to arrows like -> and =>.
'ss04', -- ligatures related to markup, like </ and />.
'ss05', -- ligatures related to the F# programming language, like |>.
'ss06', -- ligatures related to repeated uses of # such as ## or ###.
'ss07', -- ligatures related to the asterisk like ***.
'ss08', -- ligatures related to combinations like .= or .-.
'ss09', -- ligatures related to combinations of the greater/less than and equals signs, like <=>,>>, and =<<.
}
}
}
} }
''; '';
}; };

View file

@ -22,8 +22,8 @@
name = "Noto Sans"; name = "Noto Sans";
}; };
monospace = { monospace = {
package = pkgs.nerdfonts.override { fonts = [ "Monaspace" ]; }; package = pkgs.intel-one-mono;
name = "MonaspiceNe Nerd Font Mono"; name = "Intel One Mono";
}; };
emoji = { emoji = {
package = pkgs.noto-fonts-color-emoji; package = pkgs.noto-fonts-color-emoji;