On the flip side, I added this to my dot files quite a while ago but I didn't originally find out about it from the docs. I ran into a situation where I though

On the flip side, I added this to my dot files quite a while ago but I didn't originally find out about it from the docs. I ran into a situation where I thought "wow it would have been useful if I knew when this command was run" while going through a massive amount of history on a foreign server. So then I Googled for "add timestamp to bash history" and immediately found it.