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