2019-05-13 02:55:32 +01:00
|
|
|
{ lib, fetchzip }:
|
2018-08-04 09:59:32 +01:00
|
|
|
|
2019-03-29 07:24:46 +00:00
|
|
|
# XXX: IMPORTANT:
|
|
|
|
# For compat, keep this at the last version that used the name "Inter UI"
|
|
|
|
# For newer versions, which are now simply named "Inter",
|
|
|
|
# see the expression for `inter` (../inter/default.nix).
|
2018-08-04 09:59:32 +01:00
|
|
|
let
|
2019-03-29 07:24:46 +00:00
|
|
|
version = "3.2";
|
2018-08-04 09:59:32 +01:00
|
|
|
in fetchzip {
|
2019-03-29 07:18:19 +00:00
|
|
|
name = "inter-ui-${version}";
|
2018-08-04 09:59:32 +01: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 09:59:32 +01:00
|
|
|
|
|
|
|
postFetch = ''
|
|
|
|
mkdir -p $out/share/fonts/opentype
|
|
|
|
unzip -j $downloadedFile \*.otf -d $out/share/fonts/opentype
|
|
|
|
'';
|
|
|
|
|
2019-03-29 07:24:46 +00:00
|
|
|
sha256 = "01d2ql803jrhss6g60djvs08x9xl7z6b3snkn03vqnrajdgifcl4";
|
2018-08-04 09:59:32 +01:00
|
|
|
|
2019-05-13 02:55:32 +01:00
|
|
|
meta = with lib; {
|
2020-04-01 02:11:51 +01:00
|
|
|
homepage = "https://rsms.me/inter/";
|
2018-08-04 09:59:32 +01:00
|
|
|
description = "A typeface specially designed for user interfaces";
|
|
|
|
license = licenses.ofl;
|
|
|
|
platforms = platforms.all;
|
|
|
|
maintainers = with maintainers; [ demize ];
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|