2020-01-16 10:20:00 +01:00
|
|
|
{ lib, fetchzip }:
|
|
|
|
|
|
|
|
let
|
2020-03-26 10:20:00 +01:00
|
|
|
version = "1.0.5";
|
2020-01-16 10:20:00 +01:00
|
|
|
in
|
|
|
|
fetchzip rec {
|
|
|
|
name = "JetBrainsMono-${version}";
|
|
|
|
|
2020-01-24 13:30:00 +01:00
|
|
|
url = "https://github.com/JetBrains/JetBrainsMono/releases/download/v${version}/JetBrainsMono-${version}.zip";
|
2020-01-16 10:20:00 +01:00
|
|
|
|
2020-03-26 10:20:00 +01:00
|
|
|
sha256 = "1iqqix7rr22ij0cn7vg812qs4gbjpphndgbzm57abqk658lra4kl";
|
2020-01-16 10:20:00 +01:00
|
|
|
|
|
|
|
postFetch = ''
|
2020-01-24 13:30:00 +01:00
|
|
|
mkdir -p $out/share/fonts
|
|
|
|
unzip -j $downloadedFile \*.ttf -d $out/share/fonts/truetype
|
2020-03-11 08:20:00 +01:00
|
|
|
unzip -j $downloadedFile \*.eot -d $out/share/fonts/eot
|
2020-01-24 13:30:00 +01:00
|
|
|
unzip -j $downloadedFile \*.woff -d $out/share/fonts/woff
|
|
|
|
unzip -j $downloadedFile \*.woff2 -d $out/share/fonts/woff2
|
2020-01-16 10:20:00 +01:00
|
|
|
'';
|
|
|
|
|
|
|
|
meta = with lib; {
|
|
|
|
description = "A typeface made for developers";
|
|
|
|
homepage = "https://jetbrains.com/mono/";
|
|
|
|
license = licenses.asl20;
|
|
|
|
maintainers = [ maintainers.marsam ];
|
|
|
|
platforms = platforms.all;
|
|
|
|
};
|
|
|
|
}
|