[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

 - 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.


reply via email to

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