Hi Andreas. I hope you don't mind my nitpickiness, but ...
On 10/16/2012 06:28 PM, Andreas Schwab wrote:
> Michael J Gruber <g...@drmicha.warpmail.net> writes:
>> Some test want to use the time command (not the shell builtin) and test
>> for its availability at /usr/bin/time.
> An alternative way to suppress the builtin meaning is to quote it, like
... to be 100% precise, this quoting trick works because 'time' is a
shell keyword, rather than a builtin:
$ type time
time is a shell keyword
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html