On 1/7/16 11:33 AM, Reuben Thomas wrote:
> Would it be better to have the default time for unmarked history lines to
> be the epoch rather than the current time?
It is circumstance-dependent. The default you propose would be appropriate
for your situation: a history file where you started maintaining timestamp
entries part way through. For a history file without any timestamps, using
the current default and setting the history entry timestamp to the current
time is more appropriate.
Unfortunately, there is no good way to distinguish the two cases. I
suppose the history library could go back and reset the timestamp on all
prior entries when it enounters a timestamp somewhere other than the
beginning of the history file, but I've never seriously considered doing
that.
> I recently added time recording, via HISTTIMEFORMAT, to my bash history. It
> is odd that now when listing it, all the old lines have the current time
> and date; in particular, it violates the expectation that the history will
> (unless I have done odd things to it) be ordered monotonically.
You probably also have histappend set or didn't use something like
`history -w' to force the entire history file to be written when the shell
exits.
It's just difficult to tell the difference between history files with no
timestamps and history files with timestamps for only a subset of the
entries.
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU c...@case.edu http://cnswww.cns.cwru.edu/~chet/
