I know that time will send timing statistics output to stderr. But somehow I couldn’t capture it either in a bash script or into a file via redirection:
time $cmd 1>/dev/null 2>file
$output=`cat file`
Or
$output=`time $cmd 1>/dev/null`
I’m only interested in timing, not the direct output of the command. I’ve read some posts overhere but still no luck finding a viable solution. Any suggestions?
Thanks!
Try:
so that
(time $cmd)is executed in a subshell environment and you can then redirect its output.