2020-07-29 07:00:00 +02:00
|
|
|
{ lib, fetchFromGitHub }:
|
|
|
|
let
|
|
|
|
version = "2.3.2";
|
|
|
|
in
|
|
|
|
fetchFromGitHub {
|
2019-05-20 03:35:41 +02:00
|
|
|
name = "redhat-official-${version}";
|
2020-07-29 07:00:00 +02:00
|
|
|
|
|
|
|
owner = "RedHatOfficial";
|
|
|
|
repo = "RedHatFont";
|
|
|
|
rev = version;
|
2019-05-20 03:35:41 +02:00
|
|
|
|
|
|
|
postFetch = ''
|
2020-07-29 07:00:00 +02:00
|
|
|
tar xf $downloadedFile --strip=1
|
|
|
|
install -m444 -Dt $out/share/fonts/opentype OTF/*.otf
|
|
|
|
install -m444 -Dt $out/share/fonts/truetype TTF/*.ttf
|
2019-05-20 03:35:41 +02:00
|
|
|
'';
|
|
|
|
|
2020-07-29 07:00:00 +02:00
|
|
|
sha256 = "1afvxmgif61hb17g8inmxvq30vkzwh30mydlqpf0zgvaaz8qdwmv";
|
2019-05-20 03:35:41 +02:00
|
|
|
|
|
|
|
meta = with lib; {
|
2020-04-01 03:11:51 +02:00
|
|
|
homepage = "https://github.com/RedHatOfficial/RedHatFont";
|
2019-05-20 03:35:41 +02: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 ];
|
|
|
|
};
|
|
|
|
}
|