grep 1

• ripgrep (rg)：比 grep 更高效的搜索工具 May 22, 2026