Problems with using the shell built-in:
I like /usr/bin/time because it has nice output formatting options and a very easy redirection mechanism.
1) Bash has the formatting options, but I really would rather use ksh (it's mksh, by the way).
2) The 'time' built-in in mksh does not include average CPU load.
3) Both Bash and mksh output 'time' to standard error, which I don't know how to write into a file. I can do this:
Code:
# { time diskfillerfunction; } 2> ./output.txt
But that output isn't good enough to me. How do I pipe stderr through 'cut' for example? I can't seem to figure that out.