[Nix-dev] Dealing with non-Bash /bin/sh on non-NixOS

[Peter Simons]

Hi Lluís,

 > I understood from niksnut that this change could be done in a branch,
 > without any merge to master until all (most?) works.

yes, absolutely. If we have consensus in the community that this kind of
change is desirable, then we should definitely do it in a branch.

I'm just confused because Eelco's response sounds to me like he's
opposing that change on principle, because he thinks it's pointless. 
Am I reading that wrong?

Take care,
Peter