News for hackers. Stuff that matters.

A comment on Why GNU grep is fast (2010). Parent comment

Re:Why GNU grep is fast (2010) by burntsushi on Friday March 29, 2019 @04:02PM (#19525109)
I'm using the `time` built-in from zsh, with this config in my ~/.zshrc:

    TIMEFMT=$'\nreal\t%*E\nuser\t%*U\nsys\t%*S\nmaxmem\t%M MB\nfaults\t%F'
[ Parent | on HN ]

There are no comments on this comment yet.