2022-03-07 14:26:15 +00:00
|
|
|
{pkgs}:
|
2021-10-20 06:22:09 +00:00
|
|
|
pkgs.substituteAll {
|
|
|
|
|
src = ./boot-ini-builder.sh;
|
|
|
|
|
isExecutable = true;
|
|
|
|
|
path = [
|
|
|
|
|
pkgs.coreutils
|
|
|
|
|
pkgs.gnused
|
|
|
|
|
pkgs.gnugrep
|
|
|
|
|
pkgs.gzip
|
|
|
|
|
pkgs.ubootTools-hardkernel
|
|
|
|
|
];
|
|
|
|
|
configIni = ./config.ini;
|
|
|
|
|
inherit (pkgs) bash;
|
|
|
|
|
}
|
