Measuring process execution time and more

If you are using bash, when you do:

$ time ./command

you are really executing the builtin time command which is far less powerful than the GNU time command.

Just call it like this:

$ /usr/bin/time -v ./command

to get a lot of interesting information beyond execution time, like memory consumption, file I/O, context switches, swaps and more!

References

  1. Book: O'Reilly - Linux in a nutshell