jetbrains-mono: 1.0.1 -> 1.0.2

Changelog: https://github.com/JetBrains/JetBrainsMono/releases/tag/v1.0.2
This commit is contained in:
Mario Rodas 2020-01-24 07:30:00 -05:00
parent 93c7301338
commit 8a9fffcd62
No known key found for this signature in database
GPG Key ID: 4C4BEFD7B18DC5E8

View File

@ -1,20 +1,20 @@
{ lib, fetchzip }: { lib, fetchzip }:
let let
version = "1.0.1"; version = "1.0.2";
in in
fetchzip rec { fetchzip rec {
name = "JetBrainsMono-${version}"; name = "JetBrainsMono-${version}";
url = "https://github.com/JetBrains/JetBrainsMono/releases/download/${version}/JetBrainsMono-${version}.zip"; url = "https://github.com/JetBrains/JetBrainsMono/releases/download/v${version}/JetBrainsMono-${version}.zip";
sha256 = "15a8fwyg8ns6krq6nsvgn41iaqbd3lgm3cmv7w370gr6brbn6lxq"; sha256 = "0fyn7yb1m9gkzbbzv25f8v6qzv7w4amqv3z4fpfb262l1f6yq41i";
postFetch = '' postFetch = ''
unzip $downloadedFile mkdir -p $out/share/fonts
install -m444 -Dt $out/share/fonts/truetype ttf/*.ttf unzip -j $downloadedFile \*.ttf -d $out/share/fonts/truetype
install -m444 -Dt $out/share/fonts/woff/ web/woff/*.woff unzip -j $downloadedFile \*.woff -d $out/share/fonts/woff
install -m444 -Dt $out/share/fonts/woff2/ web/woff2/*.woff2 unzip -j $downloadedFile \*.woff2 -d $out/share/fonts/woff2
''; '';
meta = with lib; { meta = with lib; {