News for hackers. Stuff that matters.
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.
Re:/usr/bin/time: not the command you think you know by perennate on Tuesday March 07, 2017 @08:46AM (#13810227)
Wouldn't the system/user time be wrong though?