I'm on Ubuntu.
Running time
seems to output its result to something other than STDOUT
or STDERR
. Here's why I think so:
[siminm@amide ~]$ time echo hi
hi
real 0m0.000s
user 0m0.000s
sys 0m0.000s
[siminm@amide ~]$ time echo hi >/dev/null
real 0m0.000s
user 0m0.000s
sys 0m0.000s
[siminm@amide ~]$ time echo hi 2>/dev/null
hi
real 0m0.000s
user 0m0.000s
sys 0m0.000s
[siminm@amide ~]$ time echo hi 2>&1 >/dev/null
real 0m0.000s
user 0m0.000s
sys 0m0.000s
[siminm@amide ~]$ time echo hi &>/dev/null
real 0m0.000s
user 0m0.000s
sys 0m0.000s
HOWEVER
[siminm@amide ~]$ /usr/bin/time echo hi 2>/dev/null
hi