Re: [PATCH 6/6] use print or printf or cat as $ECHO

[Eric Blake]

Ralf Wildenhues <Ralf.Wildenhues <at> gmx.de> writes:

> 
> zsh provides a print(1) which has -r, I don't know since which version.
> It does not set TMOUT by default.  Did you try zsh before applying the
> patch?

You're right: at least zsh 4.3.4 provides print(1) which passes the test (if we 
were to remove the ZSH_VERSION filter).  However, since zsh also provides a 
working printf(1) as a builtin, it shouldn't matter which of two builtins we 
choose from a technical standpoint, and I'd rather favor the standards-
compliant version from an ivory tower standpoint.  So the patch is still 
accurate, even though it makes zsh favor printf over print.  It is really only 
ksh where the patch provides any benefit, since that is the only shell that 
provides print but lacks printf, and the forking cost of using a non-builtin is 
the technical holdup that drives us to consider the non-POSIX print as its 
alternative.

-- 
Eric Blake