Sorry for not being clear - I figured out how to do what I want. That
doesn't fix the man page, though.
--
Examples provided in man page don't work
https://launchpad.net/bugs/94607
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
That's because time is a reserved word in bash (and probably other
shells); it has its own implementation. Sticking /usr/bin/ in front of
time should do the trick.
** Changed in: time (Ubuntu)
Status: Unconfirmed => Rejected
--
Examples provided in man page don't work
https://launchpad.ne