[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Felix Breuer
Subject: [Texmacs-dev] plugins depend on bash but use #!/bin/sh
Date: Mon, 18 Dec 2006 13:19:58 +0100

Hello plugin authors,

apparently some shell-scripts depend on bash but use #!/bin/sh. This
causes problems with distros that do not use bash as default shell, see


Ideally, everyone whose script uses bash specific features would change
the first line to #!/bin/bash. 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.

Comments? Vetoes?


reply via email to

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