times posix special builtin

[Mike Jonkmans]

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}

-- 
Regards, Mike Jonkmans

Re: times posix special builtin

[Chet Ramey]

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, CWRUc...@case.eduhttp://tiswww.cwru.edu/~chet/