• Miaou@jlai.lu
    link
    fedilink
    arrow-up
    1
    ·
    20 hours ago

    IIRC, ripgrep used a faster algorithm than grep, but more recent versions of grep are now shipping with a faster (the same?) algorithm. So the above suggestion shouldn’t help much unless you use a very old grep.