Re:/usr/bin/time: not the command you think you know
by fnord123 on Tuesday March 07, 2017 @08:15AM
(#13810037)
Ok you can wangle your way out of it. But if you're doing something like `grep "$something" | /usr/bin/time some_job` then generally you're fine.
[ Parent
| on HN ]