/usr/bin/time, Jim, but not as you know it


Open up a terminal. Run ‘type time’. You’ll be told that “time is a shell keyword”. Now run ‘which time’ and you’ll see ‘/usr/bin/time’, which looks like a path to a binary. Are they the same thing? Nope.

In fact, one of them can give you a whole lot of interesting information that the other can’t.

Continue reading "/usr/bin/time, Jim, but not as you know it"