Merge pull request #78158 from marsam/update-jetbrains-mono

jetbrains-mono: 1.0.0 -> 1.0.1
This commit is contained in:
Mario Rodas 2020-01-21 18:26:47 -05:00 committed by GitHub
commit d1d127305c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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