News for hackers. Stuff that matters.

A comment on /usr/bin/time: not the command you think you know. Parent comment

Re:/usr/bin/time: not the command you think you know by ramshorns on Tuesday March 07, 2017 @02:01AM (#13808772)
TIL that a shell reserved word is different from a shell builtin.

http://unix.stackexchange.com/questions/267761/differences-b...

[ Parent | on HN ]
Re:/usr/bin/time: not the command you think you know by xelxebar on Tuesday March 07, 2017 @10:07PM (#13817535)
Yeah. Shell semantics can be pretty unintuitive sometimes. I often find it helpful to translate these ideas to standard programming language terms.

* Commands are like functions * Commands in /bin etc. are like library functions * Builtins are like a language's primitive functions * Keywords are keywords

[ Parent | on HN ]
Re:/usr/bin/time: not the command you think you know by halostatue on Tuesday March 07, 2017 @11:05AM (#13811437)
Me, too. I was surprised because I was trying to use `builtin time`. :)
[ Parent | on HN ]