On Sun, Feb 6, 2011 at 1:02 PM, Michael Witten <mfwit...@gmail.com> wrote: > On Sat, Feb 5, 2011 at 19:15, Jon Seymour <jon.seym...@gmail.com> wrote: > > So, if you run `history', you'll not only get the commands in the > history list, but you'll also get the time at which the commands > were last run (formatted according to "$HISTTIMEFORMAT"). > > In other words, it's not helpeful in this case. >
I guess the point is that in versions of bash that do store the timestamp in the .bash_history file, they also effectively preserve the entry boundaries in a way that could be used to preserve the entry boundaries when the history is re-read. jon.
