[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: minor: man-page: history file time comments for following not preced
From: |
Chet Ramey |
Subject: |
Re: minor: man-page: history file time comments for following not preceding history line |
Date: |
Wed, 7 Jun 2017 08:16:16 -0400 |
User-agent: |
Mozilla/5.0 (Macintosh; Intel Mac OS X 10.12; rv:52.0) Gecko/20100101 Thunderbird/52.1.1 |
On 6/4/17 6:36 AM, Jörn Hees wrote:
> Hi,
>
> in the HISTORY section of the man-page it says:
>
>> ... When the history file
>> is read, lines beginning with the history comment character followed
>> immediately by a digit are interpreted
>> as timestamps for the preceding history line.
>
> s/preceding/following/
Thanks for the report.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, UTech, CWRU chet@case.edu http://cnswww.cns.cwru.edu/~chet/