2 ms·
Incidentally, ripgrep will actually be faster in this case generally (on Linux at least) when given an explicit file path, since that lets it use memory maps. F
by burntsushi 7y ago
Incidentally, ripgrep will actually be faster in this case generally (on Linux at least) when given an explicit file path, since that lets it use memory maps. For example:
$ time rg QZQZQZQZ < subtitles.en.txt
real 1.842
user 0.552
sys 1.287
maxmem 9 MB
faults 0
$ time rg QZQZQZQZ subtitles.en.txt
real 1.210
user 0.776
sys 0.433
maxmem 9510 MB
faults 0
(See my other comments in this thread for where to get subtitles.en.txt.)