From Wsms

This page should be egrep (all lowercase). It is Egrep due to technical limitations of Mediawiki.

egrep search for regular expressions in txt files.

Find a the line ending with .txt:

[ggeller@arthur sdb1]$ egrep '.txt$' filelist

see also

man egrep
grep