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. 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. Ralf