Bash: add time to prompt

To add time stamps inside our bash prompt, add the following to ~/.bash_profile:

export PS1="(\t) $PS1"