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] Dash, ksh and zsh accept either form. That was with Bash 4.2.37. If it's been fixed in a later version, sorry for the noise. -- André Majorel http://www.teaser.fr/~amajorel/
