summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2016-06-30 02:43:28 +0200
committertv <tv@krebsco.de>2016-06-30 02:43:28 +0200
commitd1853501f0b519ee34b69a3a76c837be9217ce70 (patch)
tree504202cccd41690431be17eb30363449eec649cd
parent385b0345a6ce80cfbf9ba7126e1eb06e77f167d5 (diff)
writeSed: init
-rw-r--r--krebs/5pkgs/builders.nix2
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";
}