diff options
| author | tv <tv@krebsco.de> | 2016-06-30 02:43:28 +0200 |
|---|---|---|
| committer | tv <tv@krebsco.de> | 2016-06-30 02:43:28 +0200 |
| commit | d1853501f0b519ee34b69a3a76c837be9217ce70 (patch) | |
| tree | 504202cccd41690431be17eb30363449eec649cd | |
| parent | 385b0345a6ce80cfbf9ba7126e1eb06e77f167d5 (diff) | |
writeSed: init
| -rw-r--r-- | krebs/5pkgs/builders.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/krebs/5pkgs/builders.nix b/krebs/5pkgs/builders.nix index 924e0c086..fa1b03833 100644 --- a/krebs/5pkgs/builders.nix +++ b/krebs/5pkgs/builders.nix @@ -213,4 +213,6 @@ rec { (name: path: pkgs.runCommand name {} /* sh */ '' ${pkgs.cabal2nix}/bin/cabal2nix ${path} > $out ''); + + writeSed = makeScriptWriter "${pkgs.gnused}/bin/sed -f"; } |