[Texmacs-dev] Re: plugins depend on bash but use #!/bin/sh

[Lionel Elie Mamane]

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