inter-ui: init at 2.5 (#44433)

Signed-off-by: Johannes Löthberg <johannes@kyriasis.com>
This commit is contained in:
Johannes Löthberg 2018-08-04 10:59:32 +02:00 committed by xeji
parent 558c032e53
commit adc4e1d6b7
3 changed files with 32 additions and 0 deletions

View file

@ -936,6 +936,11 @@
github = "demin-dmitriy";
name = "Dmitriy Demin";
};
demize = {
email = "johannes@kyriasis.com";
github = "kyrias";
name = "Johannes Löthberg";
};
demyanrogozhin = {
email = "demyan.rogozhin@gmail.com";
github = "demyanrogozhin";

View file

@ -0,0 +1,25 @@
{ stdenv, fetchzip }:
let
version = "2.5";
in fetchzip {
name = "inter-ui-${version}";
url = "https://github.com/rsms/inter/releases/download/v${version}/Inter-UI-${version}.zip";
postFetch = ''
mkdir -p $out/share/fonts/opentype
unzip -j $downloadedFile \*.otf -d $out/share/fonts/opentype
'';
sha256 = "1d88y6c9vbjz5siazhavnpfpazfkvpbcbb4pdycbnj03mmx6y07v";
meta = with stdenv.lib; {
homepage = https://rsms.me/inter/;
description = "A typeface specially designed for user interfaces";
license = licenses.ofl;
platforms = platforms.all;
maintainers = with maintainers; [ demize ];
};
}

View file

@ -15033,6 +15033,8 @@ with pkgs;
hasklig = callPackage ../data/fonts/hasklig {};
inter-ui = callPackage ../data/fonts/inter-ui { };
siji = callPackage ../data/fonts/siji { };
sound-theme-freedesktop = callPackage ../data/misc/sound-theme-freedesktop { };