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 dralley on Friday March 29, 2019 @03:03PM (#19524535)
Whoa, which "time" command are you using that provides memory and page fault info?
[ Parent | on HN ]
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 ]
Re:Why GNU grep is fast (2010) by Retra on Friday March 29, 2019 @03:17PM (#19524665)
From what I can tell, the GNU time command has a -f "%F" flag that will provide it.

http://man7.org/linux/man-pages/man1/time.1.html

[ Parent | on HN ]