Skip to content
Better HN
Top
Best
Ask
Show
New
Jobs
Search
⌘K
0 points
erk__
4y ago
0 comments
Save
Share
I think the lack of speed here is more that it has to serialize the data from disk into a readable format. I assume using the `--grep=` option is faster than piping it through grep because of this
0 comments
1 comments · 1 top-level
top
newest
oldest
perihelions
4y ago
--grep=
That's exactly what I needed to know! I'm glad I asked the stupid question. Thank you!
j
/
k
navigate · click thread line to collapse