diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2020-07-29 00:00:00 -0500 |
---|---|---|
committer | Mario Rodas <marsam@users.noreply.github.com> | 2020-07-29 00:00:00 -0500 |
commit | e659a3220366ea678e6ef944e9e94f4488090214 (patch) | |
tree | 1701ccb8819f032b96670488e8b168d2809793b3 /pkgs/data/fonts/redhat-official | |
parent | 65eab104a34d7db8f847d21f9c783a5f192b0f18 (diff) | |
download | nixpkgs-e659a3220366ea678e6ef944e9e94f4488090214.tar nixpkgs-e659a3220366ea678e6ef944e9e94f4488090214.tar.gz nixpkgs-e659a3220366ea678e6ef944e9e94f4488090214.tar.bz2 nixpkgs-e659a3220366ea678e6ef944e9e94f4488090214.tar.lz nixpkgs-e659a3220366ea678e6ef944e9e94f4488090214.tar.xz nixpkgs-e659a3220366ea678e6ef944e9e94f4488090214.tar.zst nixpkgs-e659a3220366ea678e6ef944e9e94f4488090214.zip |
redhat-official-fonts: 2.2.0 -> 2.3.2
Diffstat (limited to 'pkgs/data/fonts/redhat-official')
-rw-r--r-- | pkgs/data/fonts/redhat-official/default.nix | 21 |
1 files changed, 13 insertions, 8 deletions
diff --git a/pkgs/data/fonts/redhat-official/default.nix b/pkgs/data/fonts/redhat-official/default.nix index 44eea3774ff..37ca9db9fa0 100644 --- a/pkgs/data/fonts/redhat-official/default.nix +++ b/pkgs/data/fonts/redhat-official/default.nix @@ -1,16 +1,21 @@ -{ lib, fetchzip }: - -let version = "2.2.0"; in -fetchzip { +{ lib, fetchFromGitHub }: +let + version = "2.3.2"; +in +fetchFromGitHub { name = "redhat-official-${version}"; - url = "https://github.com/RedHatOfficial/RedHatFont/archive/${version}.zip"; + + owner = "RedHatOfficial"; + repo = "RedHatFont"; + rev = version; postFetch = '' - mkdir -p $out/share/fonts/opentype - unzip -j $downloadedFile \*.otf -d $out/share/fonts/opentype + tar xf $downloadedFile --strip=1 + install -m444 -Dt $out/share/fonts/opentype OTF/*.otf + install -m444 -Dt $out/share/fonts/truetype TTF/*.ttf ''; - sha256 = "0yb6shgq6jrv3kq9faky66qpdbv4g580c3jl942844grwyngymyj"; + sha256 = "1afvxmgif61hb17g8inmxvq30vkzwh30mydlqpf0zgvaaz8qdwmv"; meta = with lib; { homepage = "https://github.com/RedHatOfficial/RedHatFont"; |