On Saturday, October 2, 2010 8:27:52 PM UTC+2, Bob Proulx wrote: > Sven Hartrumpf wrote: > > Bob, thanks for fixing the bug I reported! > > And good luck with getting GNU time 1.8 out :-) > > Yes, well, we will see! But I am very hopeful. :-) > > > I wrote: > > > rpm -q -f /usr/bin/time > > > util-linux-2.17.2-5.3.x86_64 > > > > Just curious: how will your fix reach util-linux because > > this is what distributions use (not GNU time directly, it seems)? > > It should. Since util-linux on SuSE uses GNU time as one of the > components then I expect that it would eventually flow into it. Since > time is such a small program I can understand why it would be bundled > into a larger collection of other small programs. Note however that > other distributions such as Debian and Red Hat package time into its > own package. The way that it is packaged is not universal. > > Bob
It seems the patch hasn't made it into util-linux? I can't even seem to find "time" included in the latest version of it (2.23). Anyway, with the mentioned fix above I created my private patch, so thanks for the information! Sebastian
