There are two things called 'time'.
The /usr/bin/time program is what the manual page refers to, however some
shells have their own built in time that is simpler;
bash has one that doesn't understand the -f
In bash if you do help time it will give you the details of it's
time; if you wish
** Attachment added: Screenshot of bug in Terminal.
http://launchpadlibrarian.net/50239706/TimeBug_Screenshot
--
time program does not accept arguments
https://bugs.launchpad.net/bugs/593199
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to