Merge pull request #117829 from supermarin/master
This commit is contained in:
commit
a25acddf0a
@ -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 ];
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|
@ -313,6 +313,7 @@ mapAliases ({
|
|||||||
inboxer = throw "inboxer has been removed as it is no longer maintained and no longer works as Google shut down the inbox service this package wrapped.";
|
inboxer = throw "inboxer has been removed as it is no longer maintained and no longer works as Google shut down the inbox service this package wrapped.";
|
||||||
infiniband-diags = rdma-core; # added 2019-08-09
|
infiniband-diags = rdma-core; # added 2019-08-09
|
||||||
inotifyTools = inotify-tools;
|
inotifyTools = inotify-tools;
|
||||||
|
inte-ui = inter; # added 2021-03-27
|
||||||
i-score = throw "i-score has been removed: abandoned upstream."; # added 2020-11-21
|
i-score = throw "i-score has been removed: abandoned upstream."; # added 2020-11-21
|
||||||
jamomacore = throw "jamomacore has been removed: abandoned upstream."; # added 2020-11-21
|
jamomacore = throw "jamomacore has been removed: abandoned upstream."; # added 2020-11-21
|
||||||
jbidwatcher = throw "jbidwatcher was discontinued in march 2021"; # added 2021-03-15
|
jbidwatcher = throw "jbidwatcher was discontinued in march 2021"; # added 2021-03-15
|
||||||
|
@ -21341,7 +21341,6 @@ in
|
|||||||
|
|
||||||
maligned = callPackage ../development/tools/maligned { };
|
maligned = callPackage ../development/tools/maligned { };
|
||||||
|
|
||||||
inter-ui = callPackage ../data/fonts/inter-ui { };
|
|
||||||
inter = callPackage ../data/fonts/inter { };
|
inter = callPackage ../data/fonts/inter { };
|
||||||
|
|
||||||
scientifica = callPackage ../data/fonts/scientifica { };
|
scientifica = callPackage ../data/fonts/scientifica { };
|
||||||
|
Loading…
x
Reference in New Issue
Block a user