bashrc execution time code example

Example: how to time a process in bash

> time { sleep 3; }

real    0m3.013s
user    0m0.002s
sys     0m0.006s