Merge pull request #38510 from bricewge/nerdfonts-2.0.0

nerdfonts: 1.1.0 -> 2.0.0
This commit is contained in:
Jörg Thalheim 2018-04-08 14:42:48 +01:00 committed by GitHub
commit d8657f30a1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,13 +1,13 @@
{ stdenv, fetchFromGitHub, bash, which, withFont ? "" }: { stdenv, fetchFromGitHub, bash, which, withFont ? "" }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
version = "1.1.0"; version = "2.0.0";
name = "nerdfonts-${version}"; name = "nerdfonts-${version}";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "ryanoasis"; owner = "ryanoasis";
repo = "nerd-fonts"; repo = "nerd-fonts";
rev = version; rev = version;
sha256 = "0h12d33wnhs5w8r3h1gqil98442vf7a13ms3nwldsam4naapsqxz"; sha256 = "09i467hyskvzj2wn5sj6shvc9pb0a0rx5iknjkkkbg1ng3bla7nm";
}; };
dontPatchShebangs = true; dontPatchShebangs = true;
buildInputs = [ which ]; buildInputs = [ which ];