Bart Massey wrote:
Thanks! I agree that this is much better.
Forwarded to bug-gnu-utils. Hopefully someone there will take
pity on us and become GNU time maintainer. :)
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of unsubscribe. Trouble? Contact
Thanks! I agree that this is much better. Only thing better yet would
be to fix the POSIX standard to require that format by default, and I
can't see that happening anytime soon. :-)
Thanks much for working on this.
Bart
On Mon, Feb 7, 2011 at 6:02 PM, Jonathan Nieder jrnie...@gmail.com
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
tags 511456 - moreinfo
retitle 511456 time: documentation of -p is unclear
severity 511456 minor
tags 511456 + upstream
quit
Bart Massey wrote:
Sorry, I hadn' t realized the POSIX standard was so broken that it
required a flag to get a guarantee of predictable formatting. I guess
under those
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
Package: time
Version: 1.7-23
Severity: normal
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
6 matches
Mail list logo
