writeSed: init
This commit is contained in:
parent
385b0345a6
commit
d1853501f0
@ -213,4 +213,6 @@ rec {
|
|||||||
(name: path: pkgs.runCommand name {} /* sh */ ''
|
(name: path: pkgs.runCommand name {} /* sh */ ''
|
||||||
${pkgs.cabal2nix}/bin/cabal2nix ${path} > $out
|
${pkgs.cabal2nix}/bin/cabal2nix ${path} > $out
|
||||||
'');
|
'');
|
||||||
|
|
||||||
|
writeSed = makeScriptWriter "${pkgs.gnused}/bin/sed -f";
|
||||||
}
|
}
|
||||||
|
Loading…
Reference in New Issue
Block a user