Hacker News new | past | comments | ask | show | jobs | submit login

I'm pretty sure this is wrong.

As an example :

sleep 2 | /usr/bin/time sleep 1

This gives an output of "1 second" even though the entire pipeline took 2 seconds.




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.


Wouldn't the system/user time be wrong though?




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: