diff options
author | tv <tv@krebsco.de> | 2017-08-01 10:57:36 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2017-08-01 12:02:02 +0200 |
commit | bcc1a72d6a604533e025ad579e0dfca0a83c2716 (patch) | |
tree | 4cb01da8e83b07deee1d15d8ab9b5a28e84735ae /krebs | |
parent | 67def2c04a8ce910033c5d4d22dda25b6fa85b7b (diff) |
makeScriptWriter: forward check parameter to writeOut
Diffstat (limited to 'krebs')
-rw-r--r-- | krebs/5pkgs/writers.nix | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/krebs/5pkgs/writers.nix b/krebs/5pkgs/writers.nix index f1626078e..850ee6f1a 100644 --- a/krebs/5pkgs/writers.nix +++ b/krebs/5pkgs/writers.nix @@ -29,10 +29,11 @@ with import <stockholm/lib>; execveBin = name: cfg: pkgs.execve name (cfg // { destination = "/bin/${name}"; }); - makeScriptWriter = interpreter: name: text: + makeScriptWriter = { interpreter, check ? null }: name: text: assert (with types; either absolute-pathname filename).check name; pkgs.writeOut (baseNameOf name) { ${optionalString (types.absolute-pathname.check name) name} = { + inherit check; executable = true; text = "#! ${interpreter}\n${text}"; }; @@ -69,7 +70,9 @@ with import <stockholm/lib>; strip --strip-unneeded "$exe" ''; - writeDash = pkgs.makeScriptWriter "${pkgs.dash}/bin/dash"; + writeDash = pkgs.makeScriptWriter { + interpreter = "${pkgs.dash}/bin/dash"; + }; writeDashBin = name: assert types.filename.check name; @@ -305,5 +308,7 @@ with import <stockholm/lib>; }; }; - writeSed = pkgs.makeScriptWriter "${pkgs.gnused}/bin/sed -f"; + writeSed = pkgs.makeScriptWriter { + interpreter = "${pkgs.gnused}/bin/sed -f"; + }; } |