[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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

From: Eric Blake
Subject: Re: [PATCH 6/6] use print or printf or cat as $ECHO
Date: Mon, 10 Nov 2008 23:04:22 +0000 (UTC)
User-agent: Loom/3.14 (

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

Eric Blake

reply via email to

[Prev in Thread] Current Thread [Next in Thread]