[CentOS] time command with options
nate
centos at linuxpowered.netTue Jan 13 18:24:17 UTC 2009
- Previous message: [CentOS] time command with options
- Next message: [CentOS] time command with options
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Jeff wrote: > 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) nate
- Previous message: [CentOS] time command with options
- Next message: [CentOS] time command with options
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
More information about the CentOS mailing list