2019-05-20 02:35:41 +01:00
|
|
|
{ lib, fetchzip }:
|
|
|
|
|
|
|
|
let version = "2.2.0"; in
|
2019-08-13 22:52:01 +01:00
|
|
|
fetchzip {
|
2019-05-20 02:35:41 +01:00
|
|
|
name = "redhat-official-${version}";
|
|
|
|
url = "https://github.com/RedHatOfficial/RedHatFont/archive/${version}.zip";
|
|
|
|
|
|
|
|
postFetch = ''
|
|
|
|
mkdir -p $out/share/fonts/opentype
|
|
|
|
unzip -j $downloadedFile \*.otf -d $out/share/fonts/opentype
|
|
|
|
'';
|
|
|
|
|
|
|
|
sha256 = "0yb6shgq6jrv3kq9faky66qpdbv4g580c3jl942844grwyngymyj";
|
|
|
|
|
|
|
|
meta = with lib; {
|
2020-04-01 02:11:51 +01:00
|
|
|
homepage = "https://github.com/RedHatOfficial/RedHatFont";
|
2019-05-20 02:35:41 +01:00
|
|
|
description = "Red Hat's Open Source Fonts - Red Hat Display and Red Hat Text";
|
|
|
|
license = licenses.ofl;
|
|
|
|
platforms = platforms.all;
|
|
|
|
maintainers = with maintainers; [ dtzWill ];
|
|
|
|
};
|
|
|
|
}
|