[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: times posix special builtin
From: |
Chet Ramey |
Subject: |
Re: times posix special builtin |
Date: |
Fri, 3 Nov 2023 11:02:58 -0400 |
User-agent: |
Mozilla Thunderbird |
On 11/3/23 5:16 AM, Mike Jonkmans wrote:
Hi,
The 'times' utility is not listed as a posix special builtin
in doc/bashref.texi
It can be fixed by changing:
@w{shift trap unset}
to:
@w{shift times trap unset}
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://tiswww.cwru.edu/~chet/