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 to use the other time make sure always to use
/usr/bin/time
Dave
** Changed in: time (Ubuntu)
Status: New => Invalid
--
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 Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
