Hacker News new | ask | show | jobs
by mjmein 3225 days ago
I've been using this for a while. I like the fact that it stores dates/times of command executed. I plan to combine this with org-mode to quickly get a report of all shell commands executed while I was working on a specific task. Helps if I want to convert it into a guide/blog post.
2 comments

Not that it affects you, but for others that think have date/time in their history zsh supports this with their EXTENDED_HISTORY (setopt extendedhistory) option. Formats history as...

: <beginning time>:<elapsed seconds>;<command>

You can do that w/o external tools, at least in bash. Just set HISTTIMEFORMAT. see man bash.