tv iosevka 1: streamline package

This commit is contained in:
tv 2023-01-27 13:08:31 +01:00
parent 57264b7650
commit 1499d5c393
3 changed files with 10 additions and 10 deletions

View File

@ -10,11 +10,11 @@ let
"https://c.krebsco.de/iosevka-tv-1-${version}.tar.gz" "https://c.krebsco.de/iosevka-tv-1-${version}.tar.gz"
"https://ni.krebsco.de/~tv/mirrors/iosevka/iosevka-tv-1-${version}.tar.gz" "https://ni.krebsco.de/~tv/mirrors/iosevka/iosevka-tv-1-${version}.tar.gz"
]; ];
sha256 = "0shsvlb1cmn39l33nzd5bj8g0h9jg7rdq8hvlac8qvnzfhpi5s6k"; hash = "sha256-88OfNUbuNbGx3hFzYZ+gAYgOWZ+A8IYo45I1n/qOyhM=";
}; };
installPhase = '' installPhase = ''
mkdir -p $out/share/fonts/truetype mkdir $out
mv -v *.ttf $out/share/fonts/truetype mv * $out/
''; '';
}; };
in in
@ -23,4 +23,4 @@ if super.iosevka.version == prebuilt.version then
prebuilt prebuilt
else else
super.iosevka super.iosevka-tv-1

View File

@ -53,10 +53,10 @@ let
window.dimensions.lines = 9; window.dimensions.lines = 9;
}; };
variants.hidpi = { variants.hidpi = {
font.normal.family = "iosevka-tv-1"; font.normal.family = "iosevka tv 1";
font.bold.family = "iosevka-tv-1"; font.bold.family = "iosevka tv 1";
font.italic.family = "iosevka-tv-1"; font.italic.family = "iosevka tv 1";
font.bold_italic.family = "iosevka-tv-1"; font.bold_italic.family = "iosevka tv 1";
font.size = 5; font.size = 5;
key_bindings = [ key_bindings = [
{ key = "Up"; mods = "Control"; action = "IncreaseFontSize"; } { key = "Up"; mods = "Control"; action = "IncreaseFontSize"; }

View File

@ -3,7 +3,7 @@
pkgs.iosevka.override { pkgs.iosevka.override {
# https://typeof.net/Iosevka/customizer # https://typeof.net/Iosevka/customizer
privateBuildPlan = { privateBuildPlan = {
family = "iosevka-tv-1"; family = "iosevka tv 1";
spacing = "term"; spacing = "term";
serifs = "sans"; serifs = "sans";
export-glyph-names = true; export-glyph-names = true;
@ -14,5 +14,5 @@ pkgs.iosevka.override {
widths.normal.menu = 5; widths.normal.menu = 5;
widths.normal.css = "normal"; widths.normal.css = "normal";
}; };
set = "iosevka-tv-1"; set = "tv-1";
} }