A collection of scripts
1{ writeScriptBin
2, bash
3, coreutils
4, gnused
5, ...
6}:
7
8writeScriptBin "thm" (builtins.replaceStrings
9 [
10 "#!/bin/sh"
11 "printf"
12 "mkdir"
13 "mv"
14 "sed"
15 ]
16 [
17 "#!${bash}/bin/sh"
18 "${coreutils}/bin/printf"
19 "${coreutils}/bin/mkdir"
20 "${coreutils}/bin/mv"
21 "${gnused}/bin/sed"
22 ]
23 (builtins.readFile ../scritps/thm)
24)