|Subject:||Re: [Texmacs-dev] /bin/sh vs. /bin/bash in Ubuntu|
|Date:||Mon, 27 Apr 2009 21:26:31 +0200|
|User-agent:||Thunderbird 126.96.36.199 (X11/20090318)|
Andrey G. Grozin wrote:
This is a third possible solution: to fix the plugins one-by-one for compatibility with dash. It is going to take some time however. And if a solution is not found for some plugin, I think that the /bin/sh -> /bin/bash change should be considered as a compromise.I don't know what other bash-specific features are used in these scripts. Probably, there are some, because there is some breakage on ubuntu. Ubuntu users can investigate what scripts (and what lines in them) don't work in the expected way.
|[Prev in Thread]||Current Thread||[Next in Thread]|