diff options
author | Lassulus <github@lassul.us> | 2018-10-27 17:00:58 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-27 17:00:58 +0200 |
commit | 363dddd68092336a6ccec32c91c19ca718a55722 (patch) | |
tree | 05ee938dba84cd0ec94896e2803659d6aba6e2b0 | |
parent | f6b2139310546574942a1319cadab973b616d888 (diff) | |
parent | 566830bb18e1ca74dad4152b9d156bc9c02e70e7 (diff) |
Merge pull request #3 from krebs/write_dash
writeDash: documentation
-rw-r--r-- | pkgs/default.nix | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/pkgs/default.nix b/pkgs/default.nix index 4cc0df3..2ffd414 100644 --- a/pkgs/default.nix +++ b/pkgs/default.nix @@ -219,6 +219,12 @@ pkgs: oldpkgs: { strip --strip-unneeded "$exe" ''; + # Like writeScript but the first line is a shebang to dash + # + # Example: + # writeDash "example" '' + # echo hello world + # '' writeDash = pkgs.makeScriptWriter { interpreter = "${pkgs.dash}/bin/dash"; }; |