writeDash: documentation

This commit is contained in:
jeschli
2018-10-27 16:39:12 +02:00
parent f6b2139310
commit 566830bb18

View File

@@ -219,6 +219,12 @@ pkgs: oldpkgs: {
strip --strip-unneeded "$exe" strip --strip-unneeded "$exe"
''; '';
# Like writeScript but the first line is a shebang to dash
#
# Example:
# writeDash "example" ''
# echo hello world
# ''
writeDash = pkgs.makeScriptWriter { writeDash = pkgs.makeScriptWriter {
interpreter = "${pkgs.dash}/bin/dash"; interpreter = "${pkgs.dash}/bin/dash";
}; };