in reply to Returning line numbers of a string

It is called "grep."