Wouldn't sth like
grep -r --include="$1" -n -i "$2"
do the same thing?
@Wolf480pl Kind of, but it lists the paths before each line, and I often deal with long paths.
--color=always |less -RS
but yeah yours is better
A Mastodon instance for people interested in multimedia, codecs, assembly, SIMD, and the occasional weeb stuff.