> But how is the user supposed to know that time is a builtin?
$ type time
time is a shell keyword
> Are they expected to look at the man page?
Extract from the time man page:
Users of the bash shell need to use an explicit path in order to run the
external time command and not the
shell builtin variant. On system where time is installed in /usr/bin,
the first example would become
/usr/bin/time wc /etc/hosts
--
hoary: Time sees every argument as a program to run.
https://launchpad.net/bugs/14172
--
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
