inter-ui: [duplicate] remove inter-ui
This font seems to be a duplicate and outdated version of: https://github.com/NixOS/nixpkgs/blob/master/pkgs/data/fonts/inter/default.nix
This commit is contained in:
parent
693a938bef
commit
dc90f0c0b2
|
@ -1,29 +0,0 @@
|
||||||
{ lib, fetchzip }:
|
|
||||||
|
|
||||||
# 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).
|
|
||||||
let
|
|
||||||
version = "3.2";
|
|
||||||
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 = "01d2ql803jrhss6g60djvs08x9xl7z6b3snkn03vqnrajdgifcl4";
|
|
||||||
|
|
||||||
meta = with lib; {
|
|
||||||
homepage = "https://rsms.me/inter/";
|
|
||||||
description = "A typeface specially designed for user interfaces";
|
|
||||||
license = licenses.ofl;
|
|
||||||
platforms = platforms.all;
|
|
||||||
maintainers = with maintainers; [ demize ];
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
Loading…
Reference in a new issue