[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Texmacs-dev] Re: plugins depend on bash but use #!/bin/sh
From: |
Lionel Elie Mamane |
Subject: |
[Texmacs-dev] Re: plugins depend on bash but use #!/bin/sh |
Date: |
Sun, 24 Dec 2006 12:33:41 +0100 |
User-agent: |
Mutt/1.5.13 (2006-08-11) |
On Mon, Dec 18, 2006 at 01:19:58PM +0100, Felix Breuer wrote:
> As not everyone is going to read this mail, and as bash is included
> in (virtually ?) all desktop distros, I suggest we proceed the other
> way around: we switch all #!/bin/sh shell scripts to #!/bin/bash
> unless someone knows for sure that a given script does not use bash
> specific features.
Actually, I think that on most BSDs, as well as on Solaris, bash is
installed:
- optionally, not by default
- as /usr/bin/bash
Abstracting away the problems of "who is going to do it with what
time", the solutions in decreasing order of compatibility:
- actually rewrite the scripts to be /bin/sh-compatible.
- do a configure-time detection of where bash is and put the right
string there OR use the "env bash" trick.
--
Lionel