Post #3452171

find -name “*.txt” Iirc. Though it might want a regular expression instead of a wildcard.