6 ms·
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 o
by mjmein 9y 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.
- eikenberry 9y agoNot 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>
- fs111 9y agoYou can do that w/o external tools, at least in bash. Just set HISTTIMEFORMAT. see man bash.