Merge pull request #70356 from chkno/nerdfonts-shebangs

nerdfonts: Use patchShebangs
This commit is contained in:
Andreas Rammhold 2019-10-04 01:17:49 +02:00 committed by GitHub
commit f86d3c2f78
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,4 +1,4 @@
{ stdenv, fetchFromGitHub, bash, which, withFont ? "" }:
{ stdenv, fetchFromGitHub, which, withFont ? "" }:
stdenv.mkDerivation rec {
version = "2.0.0";
@ -12,7 +12,7 @@ stdenv.mkDerivation rec {
dontPatchShebangs = true;
buildInputs = [ which ];
patchPhase = ''
sed -i -e 's|/bin/bash|${bash}/bin/bash|g' install.sh
patchShebangs install.sh
sed -i -e 's|font_dir="\$HOME/.local/share/fonts|font_dir="$out/share/fonts/truetype|g' install.sh
'';
installPhase = ''