Asgeir Storesund Nilsen <asgeir@xxxxxxxxxxx> writes: > I absolutely agree on the idea of using pure POSIX, but in reality I guess > most of both developer and user base are using (GNU/)Linux and thus an > environment where /bin/sh is in fact Bash? For example, dash is a much lighter alternative than bash, and groks POSIX fine. I think a safer assumption is that /bin/sh is POSIX, and we make sure that the builder can countermand it with SHELL_PATH; as platforms whose /bin/sh is _not_ POSIX does not have to have bash as /bin/bash but somewhere else (e.g. /usr/local/bin/bash). -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html