On Wed, Nov 09, 2005 at 03:27:26PM +0100, Joris van der Hoeven wrote:
> > Since you don't use any bash extensions, it works with any POSIX
> > /bin/sh (including bash), so #!/bin/sh is really the most appropriate
> > here.
>
> I am not sure that we don't use any bash extensions somewhere.
It works fine for me with NetBSD's /bin/sh, which only implements what
the POSIX specification demands. This means it should work with any POSIX
compliant Bourne shell (including Bash).
Geert
_______________________________________________
Texmacs-dev mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/texmacs-dev
