/usr/bin/time: not the command you think you know
[EDIT: check out the awesome comments on reddit that add to and correct a lot of the following]
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…