[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 (http://gmane.org/) |
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