Hi Mike, Mike Bianchi <mbian...@foveal.com> wrote:
> There is no man page for sh(1) . > There is no executable for /bin/sh . On Debian ... Sorry if that answer seems blunt, but it is not groff's problem if the shell is broken in Debian. > For those reasons, I think #!/bin/sh should be outlawed! Hilarious. :-D > Still, within the groff project, could we pick one shell > to be the standard? No need to pick, it is already defined by the standard: http://pubs.opengroup.org/onlinepubs/9699919799/utilities/sh.html I doesn't matter at all that i prefer ksh as my login shell and maybe you prefer bash and some people prefer tcsh. For portable software, you use sh as defined by POSIX. > Or am I trying to inflict order on an unorderly universe? You may be right that the Universe is chaotic, but regarding this particular point, there is good order in the Universe. *If* there is a problem for you, go fix Debian, please. Yours, Ingo
