[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Texmacs-dev] Re: #!/bin/bash in TeXmacs
From: |
Ralf Treinen |
Subject: |
Re: [Texmacs-dev] Re: #!/bin/bash in TeXmacs |
Date: |
Thu, 10 Nov 2005 07:24:11 +0100 |
User-agent: |
Mutt/1.5.11 |
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.
>
> Why did they ask you to change it to /bin/bash?
In case you are talkig about maxima_detect : "type -p" is a bashism.
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=250278;archive=yes
-Ralf.
--
- [Texmacs-dev] Re: #!/bin/bash in TeXmacs, Joris van der Hoeven, 2005/11/09
- [Texmacs-dev] Re: #!/bin/bash in TeXmacs, Geert Hendrickx, 2005/11/09
- [Texmacs-dev] Re: #!/bin/bash in TeXmacs, Joris van der Hoeven, 2005/11/09
- Re: [Texmacs-dev] Re: #!/bin/bash in TeXmacs, Norbert Nemec, 2005/11/09
- [Texmacs-dev] Re: #!/bin/bash in TeXmacs, Geert Hendrickx, 2005/11/09
- [Texmacs-dev] Re: #!/bin/bash in TeXmacs, Geert Hendrickx, 2005/11/09
- [Texmacs-dev] Re: #!/bin/bash in TeXmacs, Joris van der Hoeven, 2005/11/11
- [Texmacs-dev] Re: #!/bin/bash in TeXmacs, Geert Hendrickx, 2005/11/11
- Re: [Texmacs-dev] Re: #!/bin/bash in TeXmacs,
Ralf Treinen <=