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 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 ]

There are no comments on this comment yet.