On 11/5/19 12:49 PM, Daniel Colascione wrote:
Right now, bash history saves only the command line actually executed.
This isn't quite the case. What it saves is the line returned from
readline, before it's expanded or executed.
Why not also, optionally, save command execution times and exit
statuses? This information is practically free to collect.
Because by the time you gather this information, the command has already
been saved completely.
There have been various proposals to extend the timestamp with additional
information, but it's all data you can gather when the timestamp is saved
before the command is executed.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU c...@case.edu http://tiswww.cwru.edu/~chet/
