[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Texmacs-dev] Re: #!/bin/bash in TeXmacs

From: Joris van der Hoeven
Subject: [Texmacs-dev] Re: #!/bin/bash in TeXmacs
Date: Wed, 9 Nov 2005 15:27:26 +0100
User-agent: Mutt/1.5.9i

On Wed, Nov 09, 2005 at 03:23:13PM +0100, Geert Hendrickx wrote:
> On Wed, Nov 09, 2005 at 02:59:53PM +0100, Joris van der Hoeven wrote:
> > This issue is indeed a bit problematic, because some systems don't have
> > /bin/bash, while others don't use bash as the standard shell.  In the
> > past, I changed from /bin/sh to /bin/bash because several people asked me
> > to do so. Now you ask me to go the other way around.  What would be a
> > more reasonable solution?
> > 
> > Best wishes, Joris
> 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.

> Why did they ask you to change it to /bin/bash?  

Because it did not work on some systems. I will have to dig up my email for 
you may search the mailing list archives too...

Best, Joris

reply via email to

[Prev in Thread] Current Thread [Next in Thread]