Streaming
Closed this issue · 0 comments
fmthoma commented
Currently, vgrep
will wait for input until it either has collected one page of grep output to display, or stdin is exhausted. For grepping large files or directory structures with few results, vgrep
may block for a while until displaying results at all.
This should be taken care of by streaming the input instead of relying on lazy IO.