Dash as default shell
balint.szgt at gmail.com
Thu Oct 2 09:25:16 UTC 2014
On Thu, 2014-10-02 at 10:58 +0200, Ralf Corsepius wrote:
> On 10/02/2014 10:32 AM, Balint Szigeti wrote:
> > hello
> > Don't we consider using zsh?
> I'd rather not. Thoughout its history, zsh has had lots of issues
> originating from limitations, bugs and incompatibilities.
hm... Interesting, I and my colleague use zsh and we don't have problem
Can you give some examples?
> I don't know about the current situation, but e.g., the configure
> scripts I just posted the timings of for for bash and dash fail with zsh.
Which script do you mean?
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the devel