On 8/11/10 4:59 AM, Pavel Strashkin wrote:
> Hi all,
>
> GNU History library documentation says:
>
> == BEGIN ==
> Variable: int history_write_timestamps
> If non-zero, timestamps are written to the history file, so they can
> be preserved between sessions. The default value is 0, meaning that
> timestamps are not saved.
> == END ==
Thanks for the report. This is an omission in the history library
documentation.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU [email protected] http://cnswww.cns.cwru.edu/~chet/
_______________________________________________
Bug-readline mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-readline
