2018-08-04 08:59:32 +00:00
|
|
|
{ stdenv, fetchzip }:
|
|
|
|
|
|
|
|
|
|
let
|
2019-03-29 07:18:19 +00:00
|
|
|
version = "3.1";
|
2018-08-04 08:59:32 +00:00
|
|
|
in fetchzip {
|
2019-03-29 07:18:19 +00:00
|
|
|
name = "inter-ui-${version}";
|
2018-08-04 08:59:32 +00:00
|
|
|
|
2019-03-29 07:18:19 +00:00
|
|
|
url = "https://github.com/rsms/inter/releases/download/v${version}/Inter-UI-${version}.zip";
|
2018-08-04 08:59:32 +00:00
|
|
|
|
|
|
|
|
postFetch = ''
|
|
|
|
|
mkdir -p $out/share/fonts/opentype
|
|
|
|
|
unzip -j $downloadedFile \*.otf -d $out/share/fonts/opentype
|
|
|
|
|
'';
|
|
|
|
|
|
2019-03-29 07:18:19 +00:00
|
|
|
sha256 = "0cdjpwylynwmab0x5z5lw43k39vis74xj1ciqg8nw12ccprbmj60";
|
2018-08-04 08:59:32 +00:00
|
|
|
|
|
|
|
|
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 ];
|
|
|
|
|
};
|
|
|
|
|
}
|
|
|
|
|
|
