diff options
author | tv <tv@krebsco.de> | 2023-01-24 13:42:24 +0100 |
---|---|---|
committer | tv <tv@krebsco.de> | 2023-01-24 13:42:24 +0100 |
commit | ef83faadee9c5c77eb1651c8ff57bf795a888e00 (patch) | |
tree | c4a6f689afa5eb33e45df79eb85054ccc98ca5a1 /tv/5pkgs/override | |
parent | ebd22b2d282d3b718f173a243615d954e00254e9 (diff) |
tv iosevka-tv-1: allow using prebuilt font
Diffstat (limited to 'tv/5pkgs/override')
-rw-r--r-- | tv/5pkgs/override/iosevka-tv-1.nix | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/tv/5pkgs/override/iosevka-tv-1.nix b/tv/5pkgs/override/iosevka-tv-1.nix new file mode 100644 index 000000000..3b3df6e0f --- /dev/null +++ b/tv/5pkgs/override/iosevka-tv-1.nix @@ -0,0 +1,26 @@ +self: super: + +let + prebuilt = + self.stdenv.mkDerivation rec { + pname = "iosevka-tv-1"; + version = "15.6.3"; + src = self.fetchurl { + urls = [ + "https://c.krebsco.de/iosevka-tv-1-${version}.tar.gz" + "https://ni.krebsco.de/~tv/mirrors/iosevka/iosevka-tv-1-${version}.tar.gz" + ]; + sha256 = "0shsvlb1cmn39l33nzd5bj8g0h9jg7rdq8hvlac8qvnzfhpi5s6k"; + }; + installPhase = '' + mkdir -p $out/share/fonts/truetype + mv -v *.ttf $out/share/fonts/truetype + ''; + }; +in + +if super.iosevka.version == prebuilt.version then + prebuilt + +else + super.iosevka |