rga: ripgrep, but also search in PDFs, E-Books, Office documents, zip, tar.gz, etc.
created at June 4, 2019, 6:08 p.m.
43 +0
8,200 +22
177 -1