undefined | Better HN

0 pointserk__3y ago0 comments

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

perihelions3y 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

0 pointserk__3y ago0 comments

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

perihelions3y 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