2018-07-29 21:28:44 +02:00
|
|
|
{ lib, fetchzip }:
|
2017-12-19 21:17:52 +01:00
|
|
|
|
2018-07-29 21:28:44 +02:00
|
|
|
let
|
2019-11-18 22:20:00 +01:00
|
|
|
version = "4.0.1";
|
2019-08-13 23:52:01 +02:00
|
|
|
in fetchzip {
|
2017-12-19 21:17:52 +01:00
|
|
|
name = "ibm-plex-${version}";
|
2018-07-29 21:28:44 +02:00
|
|
|
url = "https://github.com/IBM/plex/releases/download/v${version}/OpenType.zip";
|
2017-12-19 21:17:52 +01:00
|
|
|
postFetch = ''
|
2018-07-29 21:28:44 +02:00
|
|
|
mkdir -p $out/share/fonts
|
2019-03-15 06:44:02 +01:00
|
|
|
unzip -j $downloadedFile "OpenType/*/*.otf" -d $out/share/fonts/opentype
|
2017-12-19 21:17:52 +01:00
|
|
|
'';
|
2019-11-18 22:20:00 +01:00
|
|
|
sha256 = "11d5bsv7d5rbp9f1gf1l4za3xj6jlqwnvsl5ipwx4angh1kb7nk8";
|
2017-12-19 21:17:52 +01:00
|
|
|
|
|
|
|
meta = with lib; {
|
|
|
|
description = "IBM Plex Typeface";
|
2018-07-29 21:28:44 +02:00
|
|
|
homepage = https://www.ibm.com/plex/;
|
2017-12-19 21:17:52 +01:00
|
|
|
license = licenses.ofl;
|
|
|
|
platforms = platforms.all;
|
|
|
|
maintainers = [ maintainers.romildo ];
|
|
|
|
};
|
|
|
|
}
|