On 2022-02-11 12:36, Dirk Müller wrote:
Hi Michal, Am Fr., 11. Feb. 2022 um 12:08 Uhr schrieb Michal Suchánek
: And that's exactly the problem. There are people already using busybox as a limited shell, and now you are adding dash to the mix.
I'm not forcing anyone to use the work that I'm doing. I understand your concern, and your concern is valid, that more variations in places where "it does not matter" just adds overhead and wins nothing. As my initial email indicated it is an experiment, and I submitted fixes for the fallout of that experiment and will continue to do so. I'm not forcing anyone to accept it though.
Wild idea: Create a shebang that lists more than one shell that can be used to run the (current) script. So instead of specifying bash, say that it can run with bash, dash, busybox... whichever. That way no need to "argue" what means /bin/sh ;-) -- Cheers / Saludos, Carlos E. R. (from 15.3 x86_64 at Telcontar)