<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/4.6.6">
On Thu, 2014-10-02 at 10:58 +0200, Ralf Corsepius wrote:
On 10/02/2014 10:32 AM, Balint Szigeti wrote:
<FONT COLOR="#737373">> hello</FONT>
<FONT COLOR="#737373">> Don't we consider using zsh?</FONT>
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 with it. <BR>
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?