severity 511456 wishlist tags 511456 + moreinfo quit Hi Bart,
Sorry for the long silence. Bart Massey wrote: > 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. Why can't you use "time -p" unconditionally? POSIX has this to say[1]: -p Write the timing output to standard error in the format shown in the STDERR section. so I think it should be reliable. [1] 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