nixpkgs/pkgs/development/tools/literate-programming
Kovacsics Robert d68dfbb545 noweb: fix installation, use placeholders
The problem was that nix passes lists as space-separated strings not as
arrays of strings, so `"${foo[@]}"` doesn't work as intended because
it's not an array. Instead we pass it in a bash array.

Also, using builtins.placeholder instead of passing "$(out)" to bash, as
that's not what we want to do (the `$(...)` is the process expansion in
bash)
2020-03-02 17:27:54 +00:00
..
eweb
funnelweb
Literate
noweb noweb: fix installation, use placeholders 2020-03-02 17:27:54 +00:00
nuweb treewide: name -> pname (easy cases) (#66585) 2019-08-15 13:41:18 +01:00