Am 05.06.21 um 17:20 schrieb René Scharfe: > Am 05.06.21 um 16:31 schrieb Matheus Tavares Bernardino: >> On Sat, Jun 5, 2021 at 9:27 AM René Scharfe <l.s.r@xxxxxx> wrote: >> Just one >> minor nit: I think we could drop the redirection as grep can take the >> file name as an argument. > > I'm not sure if there's a grep out there that prints the filename before > the count even if it deals with a single file. git grep does that, at > least. POSIX[3] implies the lack of filename prefix for the single file > case, but I don't know if we can rely on that everywhere. > > [3] https://pubs.opengroup.org/onlinepubs/9699919799/utilities/grep.html Except we got plenty of "grep -c" calls with a single filename and no redirection in t/ already. Adding one more should be fine. René