|
|
|
|
|
|
by eikenberry
3225 days ago
|
|
|
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> |
|
|