On 12/14/14 11:44 AM, Andre Majorel wrote:
> Funny one :
>
> $ bash -c 'echo a | time cat'
> a
> [/usr/bin/time output deleted]
>
> On the other hand :
>
> $ bash -c 'echo a |
> time cat'
> bash: -c: line 1: syntax error near unexpected token `time'
> bash: -c: line 1: `time cat'
> [$PS2 deleted]
Yes, `time' should not be recognized as a reserved word in this case, even
though the previous token is a newline. I'll take a look at it. Thanks
for the report.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU [email protected] http://cnswww.cns.cwru.edu/~chet/
