Re: unexpected bash behaviour

2001-12-22 Thread Shaul Karl
> How come `time a.out > /dev/null` prints "time" output, > while `time (a.out > /dev/null)` doesn't print anything at all. > Shouldn't it be the other way around? > > Thanks > > Alec [04:58:22 tmp]$ help time time: time [-p] PIPELINE Execute PIPELINE and print a summary of the real time,

unexpected bash behaviour

2001-12-22 Thread Alec
How come `time a.out > /dev/null` prints "time" output, while `time (a.out > /dev/null)` doesn't print anything at all. Shouldn't it be the other way around? Thanks Alec