[CentOS] time command with options
centos at linuxpowered.net
Tue Jan 13 18:24:17 UTC 2009
> Unless somebody else can shed some more light on this, I guess you are
> stuck with output redirection provided by your chosen shell.
Try /usr/bin/time instead of 'time', I believe 'time' is a internal
command for bash as well.
Threw me off for a while as well. (e.g. redirecting time output to
a file does not work unless you call /usr/bin/time, even redirecting
stderr, at least last time I tried)
More information about the CentOS