4 ms·
pdfgrep has a --cache option since a while ago :) Not sure why they don't enable it by default. Still, this is much faster.
by phiresky 6y ago
pdfgrep has a --cache option since a while ago :) Not sure why they don't enable it by default. Still, this is much faster.