|
|
|
|
|
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. |
|
: <beginning time>:<elapsed seconds>;<command>