[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-readline] History timestamps don't write to history files
|
From: |
Chet Ramey |
|
Subject: |
Re: [Bug-readline] History timestamps don't write to history files |
|
Date: |
Thu, 12 Aug 2010 22:26:14 -0400 |
|
User-agent: |
Mozilla/5.0 (Macintosh; U; Intel Mac OS X 10.6; en-US; rv:1.9.1.11) Gecko/20100711 Lightning/1.0b1 Thunderbird/3.0.6 |
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 address@hidden http://cnswww.cns.cwru.edu/~chet/