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 _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
