From dc90f0c0b2c8ec4a3d84e68e3389fd6a43ef3f85 Mon Sep 17 00:00:00 2001 From: Marin Usalj Date: Sat, 27 Mar 2021 15:08:18 -0400 Subject: [PATCH] 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 --- pkgs/data/fonts/inter-ui/default.nix | 29 ---------------------------- 1 file changed, 29 deletions(-) delete mode 100644 pkgs/data/fonts/inter-ui/default.nix diff --git a/pkgs/data/fonts/inter-ui/default.nix b/pkgs/data/fonts/inter-ui/default.nix deleted file mode 100644 index 37b48f7ceb2..00000000000 --- a/pkgs/data/fonts/inter-ui/default.nix +++ /dev/null @@ -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 ]; - }; -} -