Hi Bart, Two years ago, you wrote[1]:
> GNU "time" has a --portability flag to get the > POSIX-mandated formatting of its output. The BASH "time" > builtin is used in /bin/sh invocations and is > POSIX-compliant. The combination of these features means > that it is difficult to write portable shell scripts that > examine the output of "time" but work under Debian. A > workaround is [...] I responded by mentioning that the output format is not mandated by POSIX but with the -p option[2] it is. Does that address your concern? Perhaps some documentation was confusing and should be clarified? Thanks for your work to improve Debian, Jonathan [1] http://bugs.debian.org/511456 [2] http://www.opengroup.org/onlinepubs/9699919799/utilities/time.html#tag_20_129_04 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org