linux: use writeShellScript

This commit is contained in:
Alyssa Ross 2022-07-29 08:36:52 +00:00
parent c48f9c6218
commit ea29d1b601
No known key found for this signature in database
GPG Key ID: F9DBED4859B271C0

View File

@ -1,6 +1,5 @@
{ lib, buildPackages, runCommand, nettools, bc, bison, flex, perl, rsync, gmp, libmpc, mpfr, openssl { lib, buildPackages, runCommand, nettools, bc, bison, flex, perl, rsync, gmp, libmpc, mpfr, openssl
, libelf, cpio, elfutils, zstd, python3Minimal, zlib, pahole , libelf, cpio, elfutils, zstd, python3Minimal, zlib, pahole
, writeTextFile
}: }:
let let
@ -61,12 +60,12 @@ let
++ optional (lib.versionAtLeast version "5.13") zstd; ++ optional (lib.versionAtLeast version "5.13") zstd;
installkernel = writeTextFile { name = "installkernel"; executable=true; text = '' installkernel = buildPackages.writeShellScript "installkernel" ''
#!${stdenv.shell} -e set -e
mkdir -p $4 mkdir -p $4
cp -av $2 $4 cp -av $2 $4
cp -av $3 $4 cp -av $3 $4
''; }; '';
drvAttrs = config_: kernelConf: kernelPatches: configfile: drvAttrs = config_: kernelConf: kernelPatches: configfile:
let let