Re: Bash History Behavior Suggestion

[Chet Ramey]

On 8/20/24 2:20 PM, support@eggplantsd.com wrote:
> > The problem with the tagged format is that it's *not* usable by grep
>
> Awk would have no problem with it.
>
> > limited to exactly whatever magic is built into the "history" command
>
> That's where the magic should be.  If that were the official interface to 
> `.bash_history`, then bash has freedom to innovate on what is stored, and 
> how it is stored.  Then we could add even more information.

The history file and history list are not bash-specific. The history
library is part of readline and shared by many other applications. The
history timestamp is managed through a history library interface, not via
something bash does on its own.

It's possible to extend the history APIs to deal with timestamps that have
additional information after the timestamp, but it's not been a priority.

--
``The lyf so short, the craft so long to lerne.'' - Chaucer
                 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU    chet@case.edu    http://tiswww.cwru.edu/~chet/