Merge pull request #58252 from dtzWill/feature/manrope

manrope: init at 3
This commit is contained in:
Will Dietz 2019-03-27 08:37:11 -05:00 committed by GitHub
commit ef3801b418
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 25 additions and 0 deletions

View File

@ -0,0 +1,23 @@
{ stdenv, fetchFromGitHub }:
stdenv.mkDerivation rec {
pname = "manrope";
version = "3";
src = fetchFromGitHub {
owner = "sharanda";
repo = pname;
rev = "3bd68c0c325861e32704470a90dfc1868a5c37e9";
sha256 = "1k6nmczbl97b9j2a8vx6a1r3q4gd1c2qydv0y9gn8xyl7x8fcvhs";
};
dontBuild = true;
installPhase = ''
install -Dm644 -t $out/share/fonts/opentype "desktop font"/*
'';
meta = with stdenv.lib; {
description = "Open-source modern sans-serif font family";
homepage = https://github.com/sharanda/manrope;
license = licenses.ofl;
platforms = platforms.all;
maintainers = with maintainers; [ dtzWill ];
};
}

View File

@ -15862,6 +15862,8 @@ in
man-pages = callPackage ../data/documentation/man-pages { };
manrope = callPackage ../data/fonts/manrope { };
matcha = callPackage ../data/themes/matcha { };
materia-theme = callPackage ../data/themes/materia-theme { };