Hi Jon, well, thats what I have been trying to say, before Eduardo almost killed me :) help time clearly states that is requires a pipeline, NULL pipeline is something that does not exist. it is just a bad usage of time built-in.
cheers, pg On Sat, Nov 1, 2014 at 12:31 AM, jon <j...@jonshouse.co.uk> wrote: > On Fri, 2014-10-31 at 15:56 -0700, Eduardo A. Bustamante López wrote: >> > well, help time clearly states how it should be used. >> You are clearly not understanding the point. >> >> The point is: why does >> >> time >> >> work, but >> >> time ; somecommand >> >> doesn't. >> >> It's that simple. It's not a usage question, I'm very aware of how to >> use time. Stop being condescending. > > Interesting interpreter question, but does "time" on its own have any > meaning? - if not "time" with no arguments should generate an error > rather than an output as it does currently. > > > This is meaningful > # time /bin/bash -c 'sleep 1' ;echo hello > > real 0m1.003s > user 0m0.004s > sys 0m0.000s > hello > > This is not > # time ;echo hello > bash: syntax error near unexpected token `echo' > >
