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'.
Repeat-By:
run 'man bash' and search for TIMEFORMAT.
Fix:
Apply this patch (with patch -p1):
diff -Naur bash-4.2.old/doc/bash.1 bash-4.2.new/doc/bash.1
--- bash-4.2.old/doc/bash.1 2011-01-16 12:31:39.000000000 -0800
+++ bash-4.2.new/doc/bash.1 2013-11-01 14:35:29.000000000 -0700
@@ -2271,7 +2271,7 @@
included.
.IP
If this variable is not set, \fBbash\fP acts as if it had the
-value \fB$\(aq\enreal\et%3lR\enuser\et%3lU\ensys\t%3lS\(aq\fP.
+value \fB$\(aq\enreal\et%3lR\enuser\et%3lU\ensys\et%3lS\(aq\fP.
If the value is null, no timing information is displayed.
A trailing newline is added when the format string is displayed.
.PD 0
