No sistema operacional Linux, utilizando o terminal, o comando grep serve para: