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/