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 | f2fc9da24d457a476ffb5daae5e470710a7eebc0 (patch) | |
tree | dd8d4361b5b81200722db57228b344a3dabbac01 /tv/5pkgs/override | |
parent | 12ce335c25ade0c6d3ce152ee0a8b5aa374a5441 (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 0000000..3b3df6e --- /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 |