News for hackers. Stuff that matters.

A comment on “grep -R doesn't automatically search amazon”. Parent comment

Re:“grep -R doesn't automatically search amazon” by jlgreco on Tuesday September 25, 2012 @06:42PM (#4573109)
GNU source is never a pleasure to read, but as far as I can tell the bash builtin "times" prints to stdout.

This can be observed by running:

  bash -c 'times whoami' > /dev/null
[ Parent | on HN ]

There are no comments on this comment yet.