Re: The default value of TIMEFORMAT is incorrectly formatted

[Chet Ramey]

On 11/1/13, 5:54 PM, Seungbeom Kim wrote:
> Configuration Information [Automatically generated, do not change]:
> Machine: x86_64
> OS: linux-gnu
> Compiler: gcc
> Compilation CFLAGS:  -DPROGRAM='bash' -DCONF_HOSTTYPE='x86_64' 
> -DCONF_OSTYPE='linux-gnu' -DCONF_MACHTYPE='x86_64-pc-linux-gnu' 
> -DCONF_VENDOR='pc' -DLOCALEDIR='/usr/share/locale' -DPACKAGE='bash' -DSHELL 
> -DHAVE_CONFIG_H   -I.  -I../bash -I../bash/include -I../bash/lib  
> -D_FORTIFY_SOURCE=2 -g -O2 -fstack-protector --param=ssp-buffer-size=4 
> -Wformat -Werror=format-security -Wall
> uname output: Linux cardinal3.stanford.edu 3.8.0-31-generic #46-Ubuntu SMP 
> Tue Sep 10 20:03:44 UTC 2013 x86_64 x86_64 x86_64 GNU/Linux
> Machine Type: x86_64-pc-linux-gnu
> 
> Bash Version: 4.2
> Patch Level: 45
> Release Status: release
> 
> 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.

Chet

-- 
``The lyf so short, the craft so long to lerne.'' - Chaucer
                 ``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU    chet@case.edu    http://cnswww.cns.cwru.edu/~chet/