Pimp up your history

Just a short tip to pimp up your history. With the HISTTIMEFORMAT you can modify the output of the history command.
You can use the format strings like strftime.

To get an overview:

man strftime

Back to the tip:


If you now type history in your shell, you will get a nice output:

539  2013-05-28 13:03:42 ls -ahlt
540  2013-05-28 03:27:47 echo "FooBar"
541  2013-05-28 03:27:55 mkdir Simpsons
542  2013-05-28 03:27:58 rmdir Simpsons
543  2013-05-28 03:27:01 history