bug-bash
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: The default value of TIMEFORMAT is incorrectly formatted


From: Geir Hauge
Subject: Re: The default value of TIMEFORMAT is incorrectly formatted
Date: Sat, 2 Nov 2013 22:21:58 +0100

2013/11/2 Chet Ramey <address@hidden>

> On 11/1/13, 5:54 PM, Seungbeom Kim wrote:
> > Description:
> >       The default value of TIMEFORMAT is incorrectly formatted:
> >       it is shown as   $'\nreal\t%3lR\nuser\t%3lU\nsys%3lS' in the man
> page,
> >       but it should be $'\nreal\t%3lR\nuser\t%3lU\nsys\t%3lS'.
>
> Thanks for the report.  This has already been fixed for bash-4.3.
>

I reported this a while back too, and it is changed in the latest devel
branch, but it appears you introduced a different typo:

    $'\nreal\t%3lR\nuser\t%3lU\nsys\tt%3lS'

-- 
Geir Hauge


reply via email to

[Prev in Thread] Current Thread [Next in Thread]