3 ms·

HISTTIMEFORMAT is something I’ve wanted for so long but never knew existed. I should probably read man pages more!

• nickjj 7y ago
  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.