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 Gravityloss on Tuesday September 25, 2012 @06:30PM (#4573053)
Perhaps you could do it like the bash command time, whose output is a bit hard to capture...
[ Parent | on HN ]
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 ]