nerdfonts: 0.7.0 -> 0.8.0, fixes #17693

This commit is contained in:
mimadrid 2016-08-12 14:21:27 +02:00 committed by Rok Garbas
parent 29572c28a3
commit 60c3f3f2b9
No known key found for this signature in database
GPG key ID: A0E01EF44C27BF00

View file

@ -1,13 +1,13 @@
{ stdenv, fetchFromGitHub, bash, which }:
{ stdenv, fetchFromGitHub, bash, which, withFont ? "" }:
stdenv.mkDerivation rec {
version = "0.7.0";
version = "0.8.0";
name = "nerdfonts-${version}";
src = fetchFromGitHub {
owner = "ryanoasis";
repo = "nerd-fonts";
rev = version;
sha256 = "0q2h8hpkbid8idi2kvzx5bnhyh65y51k02g7xpv3drjqj08cz7y0";
sha256 = "0n7idfk4460j8g0rw73hzz195pdh4c916hpc5r6dxpvgcmvryzc5";
};
dontPatchShebangs = true;
buildInputs = [ which ];
@ -17,7 +17,7 @@ stdenv.mkDerivation rec {
'';
installPhase = ''
mkdir -p $out/share/fonts/truetype
./install.sh
./install.sh ${withFont}
'';
meta = with stdenv.lib; {
description = "Nerd Fonts is a project that attempts to patch as many developer targeted and/or used fonts as possible. The patch is to specifically add a high number of additional glyphs from popular 'iconic fonts' such as Font Awesome, Devicons, Octicons, and others.";