How to Time How Long a Bash Command Takes to Run