<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 TRANSITIONAL//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV="Content-Type" CONTENT="text/html; CHARSET=UTF-8">
<META NAME="GENERATOR" CONTENT="GtkHTML/4.6.6">
</HEAD>
<BODY>
On Thu, 2014-10-02 at 10:58 +0200, Ralf Corsepius wrote:
<BLOCKQUOTE TYPE=CITE>
<PRE>
On 10/02/2014 10:32 AM, Balint Szigeti wrote:
<FONT COLOR="#737373">> hello</FONT>
<FONT COLOR="#737373">></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.
</PRE>
</BLOCKQUOTE>
hm... Interesting, I and my colleague use zsh and we don't have problem with it. <BR>
Can you give some examples?
<BLOCKQUOTE TYPE=CITE>
<PRE>
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.
</PRE>
</BLOCKQUOTE>
Which script do you mean?
<BLOCKQUOTE TYPE=CITE>
<PRE>
Ralf
</PRE>
</BLOCKQUOTE>
<BR>
</BODY>
</HTML>