Merge pull request #261705 from gepbird/minecraftia-init

minecraftia: init at 1.0
This commit is contained in:
Weijia Wang 2023-10-18 21:12:49 +02:00 committed by GitHub
commit b8b04f2f9a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 38 additions and 0 deletions

View file

@ -6332,6 +6332,16 @@
fingerprint = "D0CF 440A A703 E0F9 73CB A078 82BB 70D5 41AE 2DB4"; fingerprint = "D0CF 440A A703 E0F9 73CB A078 82BB 70D5 41AE 2DB4";
}]; }];
}; };
gepbird = {
email = "gutyina.gergo.2@gmail.com";
github = "gepbird";
githubId = 29818440;
name = "Gutyina Gergő";
keys = [
{ fingerprint = "RoAfvqa6w1l8Vdm3W60TDXurYwJ6h03VEGD+wDNGEwc"; }
{ fingerprint = "MP2UpIRtJpbFFqyucP431H/FPCfn58UhEUTro4lXtRs"; }
];
};
gerg-l = { gerg-l = {
email = "gregleyda@proton.me"; email = "gregleyda@proton.me";
github = "Gerg-L"; github = "Gerg-L";

View file

@ -0,0 +1,28 @@
{ lib, fetchzip, stdenvNoCC }:
stdenvNoCC.mkDerivation {
pname = "minecraftia";
version = "1.0";
src = fetchzip {
url = "https://fontlibrary.org/assets/downloads/minecraftia/71962a7e3d4a70435c030466a12f1d63/minecraftia.zip";
hash = "sha256-AZFSts0GpBttbhl1LHMORiqqc9o7ZWhh5hbjhSnxAlA=";
stripRoot = false;
};
installPhase = ''
runHook preInstall
install -D -m444 -t $out/share/fonts/truetype $src/Minecraftia.ttf
runHook postInstall
'';
meta = with lib; {
homepage = "https://fontlibrary.org/en/font/minecraftia";
description = "Cool Minecraft font";
license = licenses.cc-by-sa-30;
platforms = platforms.all;
maintainers = with lib.maintainers; [ gepbird ];
};
}